Explore using Bors or mergify

[patjouk]

Maybe we can try bors to find a way to schedule merge of PRs?

From the doc:
Once you’ve set it up, instead of clicking the green “Merge Button”, leave a comment like this on the pull request:

bors r+

Equivalently, you can comment the following:

bors merge

The pull request, as well as any other pull requests that are reviewed around the same time, will be merged into a branch called “staging”. Your CI tool will test it in there, and report the result back where Bors-NG can see it. If that result is “OK”, master gets fast-forwarded to reach it.

[patjouk]

https://mergify.io/ looks even more perfect! (free for open source)

[patjouk]

Mergify looks exactly like what we need, and it's already approved by MoCo security. I opened a bugzilla ticket since I don't have enough permissions to add the repo myself https://bugzilla.mozilla.org/show_bug.cgi?id=1622262