Any way to trigger mergebot for non-github repos? #3149
Triggered via issue
October 21, 2024 02:27
Status
Skipped
Total duration
1s
Artifacts
–