1
0
mirror of synced 2026-01-26 12:05:10 -05:00
Files
docs/.github/workflows
James M. Greene 9c58310e2a Use official auto-merge for repo-sync PRs (#17815)
* Remove automerge label from repo-sync PRs to prevent automerge workflow from kicking in

* Add github-script step to enable GitHub's official auto-merge on repo-sync PRs

* Remove unused variable
2021-03-09 05:14:02 +00:00
..
2021-03-04 16:23:00 -08:00
2021-02-01 10:31:26 -05:00