.github

This is the magic repo that's used to store organization-wide settings on GitHub.