On: GitHub merge queue is generally available

[reflexe]

It is only available for enterprise (which is unreasonably expensive: 21usd vs 4usd per month per seat). We asked our devops to develop something similar using our existing ci infra, took them a few days.

[plonk → reflexe]

What did they use? A GitHub Action that runs on PRs and creates other PRs with merged changes?

[reflexe → plonk]

I looked into that. Basically a GitHub action that goes over all of the prs that marked as "automerge" and updates them to master. It is not a perfect solution, but it works perfectly well for our monorepo.