mirror of
https://github.com/mozilla/gecko-dev.git
synced 2024-11-23 04:41:11 +00:00
fe2d53e73a
- run action in the context of the target repo, rather than the fork - use a cleaner way to obtain the pull request number - utilise a sparse checkout to avoid unnecessary I/O Differential Revision: https://phabricator.services.mozilla.com/D188430
21 lines
640 B
YAML
21 lines
640 B
YAML
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 }}
|