New tools for open source maintainers

We’re making it easier for maintainers to grow healthy open source communities on GitHub with minimized comments, retired namespaces for popular projects, and new pull request requirements.