Skip to content

tools: avoid crashing CQ when git push fails

Rodrigo Muino Tomonari requested to merge github/fork/aduh95/cq-recover into master

This is useful in case someone pushed to the master branch while the CQ was trying to land a PR, or if the CQ bot doesn't have the correct credentials. Currently it silently crashes, without adding a commit-queue-failed label on the PRs; with this PR, it should always add a label and comment on the PR.

/cc @mmarchini

Merge request reports