diff options
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/comment-config-changes.yml (renamed from .github/workflows/close-config-changes.yml) | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/.github/workflows/close-config-changes.yml b/.github/workflows/comment-config-changes.yml index b45a755e..df35bae0 100644 --- a/.github/workflows/close-config-changes.yml +++ b/.github/workflows/comment-config-changes.yml @@ -1,4 +1,4 @@ -name: "Close changes to config" +name: "Check changes to config" on: [pull_request_target] jobs: close-changes: @@ -15,7 +15,6 @@ jobs: ref: ${{ github.event.pull_request.head.sha }} - run: | if ! git diff origin/$GITHUB_BASE_REF...$(git branch --show-current) --exit-code -- doc/server_configurations.md doc/server_configurations.txt; then - gh pr close $PR_NUMBER - gh pr comment $PR_NUMBER --body "This pull request has been automatically closed. Changes to server_configurations.md aren't allowed - edit the lua source file instead. Consult https://github.com/neovim/nvim-lspconfig/blob/master/CONTRIBUTING.md#generating-docs." + gh pr comment $PR_NUMBER --body "Do not change `server_configurations.md` directly. Edit the lua source file instead. See https://github.com/neovim/nvim-lspconfig/blob/master/CONTRIBUTING.md#generating-docs" exit 1 fi |