diff options
Diffstat (limited to '.github/scripts/check-changelog.sh')
| -rwxr-xr-x | .github/scripts/check-changelog.sh | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/.github/scripts/check-changelog.sh b/.github/scripts/check-changelog.sh index d6887bc1..ae3b8b11 100755 --- a/.github/scripts/check-changelog.sh +++ b/.github/scripts/check-changelog.sh @@ -4,12 +4,9 @@ set -e CHANGELOG_FILE="changelog.md" - git fetch origin $GITHUB_BASE_REF 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..remotes/pull/$GITHUB_SOURCE_REF | grep -q $CHANGELOG_FILE; then echo "Thank you for updating the changelog!" |