commit 4ed02af89a7c800a28433902a1ed953dd761714f
parent 8244ecad8b53e9475d89f635869d12b714c62208
Author: Suhaib Mujahid <suhaibmujahid@gmail.com>
Date: Wed, 26 Nov 2025 13:28:08 +0000
No Bug - Update close PR workflow for better clarity and eliminate an unnecessary step r=dkl DONTBUILD
Renamed job and step names for clarity, updated the `PR ` environment variable to use a clearer GitHub context, and removed the unnecessary checkout step.
Differential Revision: https://phabricator.services.mozilla.com/D267866
Diffstat:
1 file changed, 6 insertions(+), 9 deletions(-)
diff --git a/.github/workflows/close-pr.yml b/.github/workflows/close-pr.yml
@@ -1,20 +1,17 @@
-name: close pull request
+name: Close Pull Request
on:
pull_request_target:
types: [opened, reopened]
+
jobs:
- run:
+ close-pr:
runs-on: ubuntu-latest
steps:
- - name: checkout
- uses: actions/checkout@v4
- with:
- sparse-checkout: "README.txt"
- sparse-checkout-cone-mode: false
- - name: close
+ - name: Close PR
env:
GH_TOKEN: ${{ github.token }}
- PR: ${{ github.event.number }}
+ GH_REPO: ${{ github.repository }}
+ PR: ${{ github.event.pull_request.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 }}