"merge on green" for PRs like PyTorch core's "@pytorchbot merge -g"

[swolchok]

🚀 The feature, motivation and pitch

I frequently leave myself notes to come back to a PR after CI is done and merge it. It would be nice if we had a way to specify that a PR should be merged once CI comes back green, like PyTorch core does with @pytorchbot merge -g.

This issue should probably be in ExecuTorch DevX but I'll leave that decision to @mergennachin .

Alternatives

No response

Additional context

No response

RFC (Optional)

No response

[orionr]

@clee2000 checking with you - is mergebot something that can be used outside PyTorch core repo these days?