Magic-Mirror/gecko-dev
1
0
Fork 0
mirror of https://github.com/mozilla/gecko-dev.git synced 2024-11-23 21:01:08 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
863,808 Commits 615 Branches 98 Tags 6 GiB
3396179cba
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