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

    XMLWordPrintableJSON

Details

    • Icon: Bug Bug
    • Resolution: Unresolved
    • Icon: Major - P3 Major - P3
    • None
    • None
    • None
    • None
    • Correctness
    • Build and Correctness OnDeck

    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.

      Attachments

        Activity

          People

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

            Dates

              Created:
              Updated: