mirror of
https://github.com/googleworkspace/cli.git
synced 2026-09-14 16:47:13 +08:00
80fd6c51ea
Allows manual re-triggering when bot-merged PRs don't fire the push event.