summaryrefslogtreecommitdiff
path: root/.github
diff options
context:
space:
mode:
authorcarsakiller <carsakiller@gmail.com>2024-05-23 08:12:18 +0000
committercarsakiller <carsakiller@gmail.com>2024-05-23 08:12:18 +0000
commitd57084e877582817de8b0545d0f70ff0e86a3bf8 (patch)
treea2a87d7452bead0aa548f184d792661cabd099fc /.github
parentc026bebe6ed1c9d89aaaa9493d62cacd98af6d4a (diff)
downloadlua-language-server-d57084e877582817de8b0545d0f70ff0e86a3bf8.zip
add: logging
Diffstat (limited to '.github')
-rwxr-xr-x.github/scripts/check-changelog.sh6
1 files changed, 5 insertions, 1 deletions
diff --git a/.github/scripts/check-changelog.sh b/.github/scripts/check-changelog.sh
index af39a4da..876d74f1 100755
--- a/.github/scripts/check-changelog.sh
+++ b/.github/scripts/check-changelog.sh
@@ -4,8 +4,12 @@ set -e
CHANGELOG_FILE="changelog.md"
+
git fetch origin $GITHUB_BASE_REF
-git fetch
+git fetch --unshallow
+
+echo $(git remote)
+echo $(git branch)
# Check if the changelog file was modified in the PR
if git diff --name-only origin/$GITHUB_BASE_REF..$GITHUB_HEAD_REF | grep -q $CHANGELOG_FILE; then