diff options
| author | carsakiller <carsakiller@gmail.com> | 2024-05-23 08:02:00 +0000 |
|---|---|---|
| committer | carsakiller <carsakiller@gmail.com> | 2024-05-23 08:02:00 +0000 |
| commit | fc3a8b2d2b3afb10b5d2f0badbe2301058e0b9d9 (patch) | |
| tree | db9e6584e3f3fe198c8db4fb3adc5c960fc046b6 /.github/scripts/check-changelog.sh | |
| parent | e0a376ab0377ec86eba6aa42e5f32efa44cac17b (diff) | |
| download | lua-language-server-fc3a8b2d2b3afb10b5d2f0badbe2301058e0b9d9.zip | |
fix: fetch
Diffstat (limited to '.github/scripts/check-changelog.sh')
| -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 8484a386..8d4ac0df 100755 --- a/.github/scripts/check-changelog.sh +++ b/.github/scripts/check-changelog.sh @@ -4,7 +4,7 @@ set -e CHANGELOG_FILE="changelog.md" -git fetch +git fetch origin $GITHUB_BASE_REF # 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 |