New GitHub tools for open source maintainers: minimized comments, popular repository namespace retirement, and accidental and “drive-through” pull request prevention.

blog.github.com