1
0
mirror of synced 2026-01-08 12:01:53 -05:00
Files
docs/.github/workflows
James M. Greene 504193f4f3 Use official auto-merge for repo-sync PRs (attempt #2) (#18628)
* Add github-script step to enable GitHub's official auto-merge on repo-sync PRs
* Reenable automerge action via label and fail gracefully if official auto-merge enablement fails
2021-04-12 15:26:12 +00:00
..
2021-04-09 11:31:54 -04:00