-
Type:
Bug
-
Resolution: Gone away
-
Priority:
Major - P3
-
None
-
Affects Version/s: None
-
Component/s: None
-
DevProd Correctness
-
None
-
3
-
None
-
None
-
None
-
None
-
None
-
None
It happens sometimes that there need to be more than one commit per SERVER ticket in order to logically separate some changes that lead to the ticket's completion.
However, if I have two PRs on the same SERVER ticket and I commit one of them (because it happened to be LGTM'd first), the commit queue bot closes the other one which is still open and deletes the branch.