diff options
| author | carsakiller <carsakiller@gmail.com> | 2024-05-23 08:30:05 +0000 |
|---|---|---|
| committer | carsakiller <carsakiller@gmail.com> | 2024-05-23 08:30:05 +0000 |
| commit | f6d3af8d34875ce073bb78e2f50bf1bc2b151a87 (patch) | |
| tree | e187497d2862c494a4d659736d9ea741863efd60 | |
| parent | 047c3a277ebdbbd5e67fae764d2d626df698e8b5 (diff) | |
| download | lua-language-server-f6d3af8d34875ce073bb78e2f50bf1bc2b151a87.zip | |
add prefix
| -rwxr-xr-x | .github/scripts/check-changelog.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/scripts/check-changelog.sh b/.github/scripts/check-changelog.sh index 5402f490..d6887bc1 100755 --- a/.github/scripts/check-changelog.sh +++ b/.github/scripts/check-changelog.sh @@ -11,7 +11,7 @@ git fetch echo $(git branch -a) # Check if the changelog file was modified in the PR -if git diff --name-only origin/$GITHUB_BASE_REF..$GITHUB_SOURCE_REF | grep -q $CHANGELOG_FILE; then +if git diff --name-only origin/$GITHUB_BASE_REF..remotes/pull/$GITHUB_SOURCE_REF | grep -q $CHANGELOG_FILE; then echo "Thank you for updating the changelog!" exit 0 else |