diff options
| author | carsakiller <carsakiller@gmail.com> | 2024-05-23 08:12:18 +0000 |
|---|---|---|
| committer | carsakiller <carsakiller@gmail.com> | 2024-05-23 08:12:18 +0000 |
| commit | d57084e877582817de8b0545d0f70ff0e86a3bf8 (patch) | |
| tree | a2a87d7452bead0aa548f184d792661cabd099fc /.github | |
| parent | c026bebe6ed1c9d89aaaa9493d62cacd98af6d4a (diff) | |
| download | lua-language-server-d57084e877582817de8b0545d0f70ff0e86a3bf8.zip | |
add: logging
Diffstat (limited to '.github')
| -rwxr-xr-x | .github/scripts/check-changelog.sh | 6 |
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 |