I've enabled a GitHub app (run by GitHub) called probot on this repo. It allows storing a yaml file in repo, so that people can change repo settings via pull request :)
It's currently only enabled for this repo, but we could turn it on for all :)
Merging this pull request will rename the repo from hub to overview
If this looks good, a +1 seems good enough to merge. (Perhaps we could punch out a more explicit Contribution guideline later... :)
I've enabled a GitHub app (run by GitHub) called probot on this repo. It allows storing a yaml file in repo, so that people can change repo settings via pull request :)
It's currently only enabled for this repo, but we could turn it on for all :)
Merging this pull request will rename the repo from
hubtooverviewIf this looks good, a +1 seems good enough to merge. (Perhaps we could punch out a more explicit Contribution guideline later... :)