Isn't the idea of pull requests that they are specifically not automatic?

@12bitfloat yes they are. This tool is to solve issue of merging them sequentially after running CI builds. You can label a PR when ready to queue it for merging. Once CI passes, the hot merges the PR and moves on to next one. It also pulls latest changes from base branch before merging.

@ankitdce Oh okay. Looks pretty professional too

@12bitfloat thanks. Any other feedback? Do you think this could be useful?

AFAIK a similar tool is included in paid editions of Gitlab.

Github already does all of this, guys. There's a setting to automatically merge if CI passes.

@junon yes there are some tools that let you automerge after green builds. MergeQueue's main value is from sequencing the builds to avoid conflicts / broken builds between various PRs.

@ankitdce No I mean github has a native feature that does this. Out of the box.

@junon you are right. I saw the new auto merge feature of GitHub. I was eluding to the additional capabilities of orchestrating the queues to avoid failures due to conflicts.