diff options
Diffstat (limited to '.github/workflows/comment-config-changes.yml')
| -rw-r--r-- | .github/workflows/comment-config-changes.yml | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/.github/workflows/comment-config-changes.yml b/.github/workflows/comment-config-changes.yml deleted file mode 100644 index 5bcc8008..00000000 --- a/.github/workflows/comment-config-changes.yml +++ /dev/null @@ -1,19 +0,0 @@ -name: "Check changes to config" -on: [pull_request_target] -jobs: - check-config-changes: - runs-on: ubuntu-latest - permissions: - pull-requests: write - env: - PR_NUMBER: ${{ github.event.pull_request.number }} - GH_TOKEN: ${{ secrets.GITHUB_TOKEN }} - steps: - - uses: actions/checkout@v4 - with: - fetch-depth: 0 - ref: ${{ github.event.pull_request.head.sha }} - - run: | - if ! git diff origin/$GITHUB_BASE_REF...$(git branch --show-current) --exit-code -- doc/configs.md doc/configs.txt; then - gh pr comment $PR_NUMBER --body 'Note that `configs.md` or `configs.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 |