diff options
Diffstat (limited to '.github/workflows')
| -rw-r--r-- | .github/workflows/comment-config-changes.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/comment-config-changes.yml b/.github/workflows/comment-config-changes.yml index b1fdc17e..a6c1150c 100644 --- a/.github/workflows/comment-config-changes.yml +++ b/.github/workflows/comment-config-changes.yml @@ -15,6 +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 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" + 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 |