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
- 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.