diff options
Diffstat (limited to '.github/workflows/close-pr.yml')
-rw-r--r-- | .github/workflows/close-pr.yml | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/.github/workflows/close-pr.yml b/.github/workflows/close-pr.yml new file mode 100644 index 0000000000..a881cde247 --- /dev/null +++ b/.github/workflows/close-pr.yml @@ -0,0 +1,20 @@ +name: close pull request +on: + pull_request_target: + types: [opened, reopened] +jobs: + run: + runs-on: ubuntu-latest + steps: + - name: checkout + uses: actions/checkout@v4 + with: + sparse-checkout: "README.txt" + sparse-checkout-cone-mode: false + - name: close + env: + GH_TOKEN: ${{ github.token }} + PR: ${{ github.event.number }} + run: | + gh pr close ${{ env.PR }} --comment "(Automated Close) Please do not file pull requests here, see https://firefox-source-docs.mozilla.org/contributing/how_to_submit_a_patch.html" + gh pr lock ${{ env.PR }} |