.github

This is a PUBLIC repository (by GitHub's limitations) with GitHub defaults, like our PR template.