Xavier Morel
9286b346e8
[FIX] runbot_merge: IDE warnings
2018-09-03 13:16:36 +02:00
Xavier Morel
34497a91b4
[FIX] runbot_merge: don't try to stage urgent PRs in error
2018-09-03 13:16:36 +02:00
Xavier Morel
47428a4580
[IMP] runbot_merge: only label PR if not created merged/closed
...
Would generate a ton of GH API churn when synchronising.
2018-09-03 13:16:36 +02:00
Xavier Morel
39a0d723af
[ADD] runbot_merge: tag PR to signify state changes
2018-09-03 13:16:36 +02:00
Xavier Morel
49c8fdbed2
[IMP] runbot_merge: prioritize p0 more
...
* p0 cancel existing stagings in order to be staged as soon as
possible
* p0 PRs should be picked over split batches
* p0 bypass PR-level CI and review requirements
* p0 can be set on any of a batch's PR, matched PRs will be staged
alongside even if their priority is the default
2018-09-03 13:16:36 +02:00
Xavier Morel
e6f5b84a19
[IMP] runbot_merge: add PR ID to commit message when merging
2018-09-03 13:16:36 +02:00
Xavier Morel
ea9203c359
[IMP] allow delegate reviewers to retry and r-
2018-09-03 13:16:36 +02:00
Xavier Morel
781b679648
[FIX] runbot_merge: de-f-string-ify
2018-09-03 13:16:36 +02:00
Xavier Morel
933559da04
[IMP] runbot_merge: repos shoud be unique
...
Having the same repository in two different projects makes no sense,
the two projects will conflict with one another.
2018-09-03 13:16:36 +02:00
Xavier Morel
e52d08ecdf
[ADD] runbot_merge: a merge bot
...
No actual dependency on runbot, should be usable completely
independently.
2018-09-03 13:16:36 +02:00
