Proposed changes and improvements for GitHub that would make driving and runnning a project like curl easier.
- Disable the merge button
- Better support for PR-by-proxy
- Mark conflicting PRs in the list
- Review commit messages
Feel free to add new, extend and help improve this collection. Keep each proposal a separate file for easier management.