diff options
Diffstat (limited to '.github/workflows/comment-config-changes.yml')
| -rw-r--r-- | .github/workflows/comment-config-changes.yml | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/.github/workflows/comment-config-changes.yml b/.github/workflows/comment-config-changes.yml index 11451eb4..40bcaafa 100644 --- a/.github/workflows/comment-config-changes.yml +++ b/.github/workflows/comment-config-changes.yml @@ -1,7 +1,7 @@ name: "Check changes to config" on: [pull_request_target] jobs: - close-changes: + check-config-changes: runs-on: ubuntu-latest permissions: pull-requests: write @@ -15,6 +15,5 @@ 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 comment $PR_NUMBER --body 'Do not change `server_configurations.md` or `server_configurations.txt` directly as these are automatically generated. Edit the lua source file instead. See https://github.com/neovim/nvim-lspconfig/blob/master/CONTRIBUTING.md#generating-docs' - exit 1 + gh pr comment $PR_NUMBER --body 'Note that `server_configurations.md` or `server_configurations.txt` will be regenerated by the docgen CI process. Edit the Lua source file instead. For details on generating documentation, see: https://github.com/neovim/nvim-lspconfig/blob/master/CONTRIBUTING.md#generating-docs' fi |