News for hackers. Stuff that matters.
Re:GitHub merge queue is generally available by reflexe on Friday July 14, 2023 @04:13PM (#36729302)
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.

There are no comments on this comment yet.