Proposed changes and improvements for GitHub that would make driving and runnning a project like curl easier.
- Kill off CI jobs
- Larger list of CI jobs
- Mark specific CI builds flaky
- Mark specific users as suspicious
- Hide security issues
- Allow assigning groups of people (e.g. a committee, working group, etc.) as assignees for issues, rather than just individual accounts
- Disable the merge button
- Better support for PR-by-proxy
- Mark conflicting PRs in the list
- Review commit messages
- Allow marking pull requests as private even in public repositories, which would then become public once merged
- Allow voting on whether or not to merge pull requests by people with a special "voting" permission
- More review options besides "Approve" and "Request Changes"
Feel free to add new, extend and help improve this collection. Keep each proposal a separate file for easier management.