2 Коммитов

Автор	SHA1	Сообщение	Дата
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