Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

From the web interface, no, but you can close PRs with `git push` just fine.


I mean the option to explicitly block any changes that generate a merge (that isn't a simple fast forward). You can set this on a git repo you fully control, but IIRC you can't do this on GitHub. So yes, it works fine until someone accidentally hits the big green button and generates a "real" merge.




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: