Commit Graph

2 Commits

Author SHA1 Message Date
glob
fe2d53e73a Bug 1853618 - address issue with GitHub PR closer, and optimise r=hwine DONTBUILD
- 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
2023-09-20 15:33:26 +00:00
glob
774d6c8538 Bug 1847997: Automatically close GitHub pull requests with a GitHub Action r=hwine DONTBUILD
Differential Revision: https://phabricator.services.mozilla.com/D185836
2023-08-10 17:01:59 +00:00