[SERVER-78836] The commit queue closes all open pull requests associated with a given ticket Created: 07/Jul/23 Updated: 01/Feb/24 |
|
| Status: | Open |
| Project: | Core Server |
| Component/s: | None |
| Affects Version/s: | None |
| Fix Version/s: | None |
| Type: | Bug | Priority: | Major - P3 |
| Reporter: | Kaloian Manassiev | Assignee: | Steve Gross |
| Resolution: | Unresolved | Votes: | 0 |
| Labels: | None | ||
| Remaining Estimate: | Not Specified | ||
| Time Spent: | Not Specified | ||
| Original Estimate: | Not Specified | ||
| Issue Links: |
|
||||
| Assigned Teams: |
Correctness
|
||||
| Sprint: | Build and Correctness OnDeck | ||||
| Participants: | |||||
| Description |
|
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. |
| Comments |
| Comment by Alex Neben [ 01/Nov/23 ] |
|
I am reopening this ticket at max.hirschhorn@mongodb.com 's request to make sure this is tracked. This can be closed once DEVPROD-287 is completed and does not require any extra work! Keeping this in the epic to make sure it is closed as part of this project. |
| Comment by Steve Gross [ 17/Jul/23 ] |
|
This request dovetails with existing plans to combine repos (since we will have to alter crbot anyway as part of that work). |