GitHub feedback

Proposed changes and improvements for GitHub that would make driving and runnning a project like curl easier.

GitHub service

• Count all contributors
• Respect .mailmap

Releases

• Disable the default tarballs for releases

CI

• Kill off CI jobs
• Larger list of CI jobs
• Mark specific CI builds flaky
• Mark specific users as suspicious

Issues

• Hide security issues

Pull Requests

• Disable the merge button
• Better support for PR-by-proxy
• Mark conflicting PRs in the list
• Review commit messages

git integration

• Commit emails with diffs
• Support a merges keyword

Feedback?

Feel free to add new, extend and help improve this collection. Keep each proposal a separate file for easier management.