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 |
|
James Shubin
|
dbcabc6517
|
github: Improve the PR template
|
2017-09-09 15:03:53 -04:00 |
|
James Shubin
|
af75696018
|
github: Add a PR template to help new users
Hopefully this addresses the most common things.
|
2017-09-07 16:14:11 -04:00 |
|
James Shubin
|
ecbaa5bfc1
|
github: Show a friendly message in issues template
|
2017-02-14 16:45:35 -05:00 |
|