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