diff options
| author | carsakiller <carsakiller@gmail.com> | 2024-05-23 08:31:36 +0000 |
|---|---|---|
| committer | carsakiller <carsakiller@gmail.com> | 2024-05-23 08:31:36 +0000 |
| commit | 75ed0bfacfee29f54cdab6b1218f0e48677a1fe6 (patch) | |
| tree | 82df8982e2e7d3e7735ff4b6d1bc5ac8e2736200 | |
| parent | f6d3af8d34875ce073bb78e2f50bf1bc2b151a87 (diff) | |
| download | lua-language-server-75ed0bfacfee29f54cdab6b1218f0e48677a1fe6.zip | |
add: unreleased section to changelog
| -rwxr-xr-x | .github/scripts/check-changelog.sh | 3 | ||||
| -rw-r--r-- | changelog.md | 5 |
2 files changed, 4 insertions, 4 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!" diff --git a/changelog.md b/changelog.md index 85c073d7..62ca8974 100644 --- a/changelog.md +++ b/changelog.md @@ -1,5 +1,8 @@ # changelog +## Unreleased +<!-- Add all new changes here. They will be moved under a version at release --> + ## 3.9.0 `2024-5-11` * `NEW` goto implementation @@ -123,7 +126,7 @@ Cat = 1, Dog = 2, } - + ---@param animal userdata ---@param atp AnimalType ---@return boolean |