.github A place for organization-wide PR templates and other resources. Note: this repository is public to the internet.