diff options
| author | dundargoc <33953936+dundargoc@users.noreply.github.com> | 2022-11-05 22:09:50 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-11-05 22:09:50 +0100 |
| commit | 5723b19210b2f3c8f0f20fce541c85b0739c7a3d (patch) | |
| tree | bb93f9434fc147de0b1703474b4e3a7eec919c93 | |
| parent | 8765c7e28863b7750cec8b0fb89ce78c18b3af65 (diff) | |
| download | rneovim-5723b19210b2f3c8f0f20fce541c85b0739c7a3d.tar.gz rneovim-5723b19210b2f3c8f0f20fce541c85b0739c7a3d.tar.bz2 rneovim-5723b19210b2f3c8f0f20fce541c85b0739c7a3d.zip | |
revert: "ci(commitlint): use pull_request_target to avoid "skip ci"" (#20845)
This reverts commit d7e2229b41748e84f525ee44cee19be81382ceab.
This workflow isn't required to pass to merge a PR any more. Using
pull_request_target to bypass the required check when using [skip ci] is
therefore no longer needed.
| -rw-r--r-- | .github/workflows/commitlint.yml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/.github/workflows/commitlint.yml b/.github/workflows/commitlint.yml index 68be5436f6..a7a227865d 100644 --- a/.github/workflows/commitlint.yml +++ b/.github/workflows/commitlint.yml @@ -1,8 +1,6 @@ name: "Commit Linter" on: - # Only pull_request and push honor [skip ci]. Since this workflow must pass - # to merge a PR, it can't be skipped, so use pull_request_target - pull_request_target: + pull_request: types: [opened, synchronize, reopened, ready_for_review] branches: - 'master' @@ -10,6 +8,8 @@ jobs: lint-commits: runs-on: ubuntu-latest if: github.event.pull_request.draft == false + env: + GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} steps: - uses: actions/checkout@v3 with: |