check hold label before merging#225
Conversation
|
I think the gmerge tool can check a hold flag got cleared before doing a merge. |
|
It can. But I use a quite old version of this tool, and don't plan an update |
I see. so perhaps we should add a commit/push hook to repository scripts. so it will avoid merging the stuff with unresolved holds (or not enough reviews). |
|
Better might be preventing merge for any hold label, not just a committer hold. |
This would be better. I do not use ghmerge |
t8m
left a comment
There was a problem hiding this comment.
IMO this is better than nothing.
BTW, I would like to know why people do not use ghmerge. It works very well.
| rtm_set=1 | ||
| if (l["name"] == "severity: urgent"): | ||
| urgent_set=1 | ||
| if (l["name"] == "hold: committer discussion"): |
There was a problem hiding this comment.
Could you please check all hold: * labels?
330d51d to
406b427
Compare
|
I tested the change using this simple shell snippet: I took pr 28691 which has a hold label and PR 28726 which has no hold label |
Reviewed-by: Neil Horman <nhorman@openssl.org> Reviewed-by: Tomas Mraz <tomas@openssl.org> Reviewed-by: Paul Dale <paul.dale@oracle.com> (Merged from #225)
|
This was already merged. |
No description provided.