Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
hashar
on July 13, 2023
|
parent
|
context
|
favorite
| on:
GitHub merge queue is generally available
They don't need too since the link posted here is literally the press release announcement. For the inner details one should look at the documentation at
https://docs.github.com/en/repositories/configuring-branches...
. It for example has a detailed example as how it handles a pull requests failing ahead in the queue
https://docs.github.com/en/repositories/configuring-branches...
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search: