Is it possible to enable Github Merge Queues for our Repos?

[narendasan]

In Torch-TensorRT we have a bunch of platforms so CI takes a while waiting for runners. We would like to be able to approve a PR and have it merge once CI is complete, provided it is passing all tests. I believe Github Merge Queues (https://github.blog/engineering/engineering-principles/how-github-uses-merge-queue-to-ship-hundreds-of-changes-every-day/) supports this sort of workflow. Is it possible to use this feature or is there be some other way we can achieve this workflow?

[clee2000]

cc @seemethere @ZainRizvi as some people who have permissions to do this

[ZainRizvi]

Is pytorchbot enabled in this repo by any chance? That has a very similar effect where we can run pytorchbot merge and it'll merge as long as CI gets completed sometime in the next 6 hours

[ZainRizvi]

@pytorchbot help

[pytorch-bot]

❌ 🤖 pytorchbot command failed:

@pytorchbot: error: argument command: invalid choice: 'help' (choose from 'merge', 'revert', 'rebase', 'label', 'drci', 'cherry-pick', 'close')

usage: @pytorchbot [-h] {merge,revert,rebase,label,drci,cherry-pick,close} ...

Try @pytorchbot --help for more info.

[ZainRizvi]

Seems like pytorchbot works here. Next time, try running @pytorchbot merge when you want to queue a merge!

[narendasan]

Ok we will give it a try

[narendasan]

Is there instructions on the .github/merge_rules.json that it seems like @pytorchbot merge uses?

[narendasan]

Also seeing this error: #3489 (comment)