Uploaded image for project: 'Core Server'
  1. Core Server
  2. SERVER-78836

The commit queue closes all open pull requests associated with a given ticket

    • Type: Icon: Bug Bug
    • Resolution: Unresolved
    • Priority: Icon: Major - P3 Major - P3
    • None
    • Affects Version/s: None
    • Component/s: None
    • Labels:
    • Correctness
    • Build OnDeck

      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.

            Assignee:
            steve.gross@mongodb.com Steve Gross
            Reporter:
            kaloian.manassiev@mongodb.com Kaloian Manassiev
            Votes:
            0 Vote for this issue
            Watchers:
            5 Start watching this issue

              Created:
              Updated: