James Shubin 9a97a92e31 github: Use third-party settings app to sync github settings ...

Let's give this a try. One downside is that giving anyone push access
gives them ability to rename repo and do other bad admin type things.

2017-10-26 05:04:41 -04:00

..

ISSUE_TEMPLATE.md

github: Show a friendly message in issues template

2017-02-14 16:45:35 -05:00

PULL_REQUEST_TEMPLATE.md

github: Improve the PR template

2017-09-09 15:03:53 -04:00

settings.yml

github: Use third-party settings app to sync github settings

2017-10-26 05:04:41 -04:00