Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
spike021
4 days ago
|
parent
|
context
|
favorite
| on:
GitHub New pull request overview page in public pr...
Just the other day my teammate approved my PR and despite the repo having that merge when ready feature enabled, it kept not working and throwing some random error.
IIRC we unapproved it, approved without that enabled, and then manually merged it.
help
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
IIRC we unapproved it, approved without that enabled, and then manually merged it.