Company GitHub merge queue is generally availableSupercharge pull request merges on your busiest branches by enabling your team to queue. July 12, 2023
