BugZero found this defect 317 days ago.
Data sources
All data on this page is proprietary to BugZero® or gathered from public sources
3/14/2024
MongoDB Server
No affected releases provided.
No fixed releases provided.
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.
JIRAUSER1268551 commented on Wed, 1 Nov 2023 10:51:39 +0000: 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. JIRAUSER1274045 commented on Mon, 17 Jul 2023 17:35:13 +0000: This request dovetails with existing plans to combine repos (since we will have to alter crbot anyway as part of that work).