diff options
| author | Antoine du Hamel <duhamelantoine1995@gmail.com> | 2021-02-04 17:37:47 +0300 |
|---|---|---|
| committer | Antoine du Hamel <duhamelantoine1995@gmail.com> | 2021-02-09 13:45:11 +0300 |
| commit | 33d3a2e6cb9004ecdd1413100c5b585744702b61 (patch) | |
| tree | b7c41020b0b43b7eae87c63e5274b80dbd12c8c9 /.github | |
| parent | beee53884dfe365021a51711da59f5bf05e6b52d (diff) | |
tools: add GitHub Action linter for pr-url
PR-URL: https://github.com/nodejs/node/pull/37221
Reviewed-By: Richard Lau <rlau@redhat.com>
Reviewed-By: Darshan Sen <raisinten@gmail.com>
Reviewed-By: Rich Trott <rtrott@gmail.com>
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/linters.yml | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/.github/workflows/linters.yml b/.github/workflows/linters.yml index 26be5a7cab2..9bb9cd14bc1 100644 --- a/.github/workflows/linters.yml +++ b/.github/workflows/linters.yml @@ -98,3 +98,12 @@ jobs: - uses: mszostok/codeowners-validator@v0.4.0 with: checks: "files,duppatterns" + lint-pr-url: + if: ${{ github.event.pull_request }} + runs-on: ubuntu-latest + steps: + - uses: actions/checkout@v2 + with: + fetch-depth: 2 + # GH Actions squashes all PR commits, HEAD^ refers to the base branch. + - run: git diff HEAD^ HEAD -G"pr-url:" -- "*.md" | ./tools/lint-pr-url.mjs ${{ github.event.pull_request.html_url }} |