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
..
workflows	…