Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
plonk
on July 13, 2023
|
parent
|
context
|
favorite
| on:
GitHub merge queue is generally available
What did they use? A GitHub Action that runs on PRs and creates other PRs with merged changes?
reflexe
on July 14, 2023
[–]
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.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search: