Migrate to GitHub Bot?

[aeneasr]

I'm not sure if this is something this repository would consider, but would it be possible to migrate this to a GitHub Bot? Then, no hosting or GitHub tokens would be necessary!

[naturallymitchell]

Looks like GitHub Apps - Settings solves this.

See also:

• Bot idea: Update/create labels on repository creation · Issue #245 · probot/probot
• probot/settings: Pull Requests for GitHub repository settings
• Add support for copying settings from a 'default' repository · Issue #29 · probot/settings
• .github repo settings.yml issue labels - Google Search
• Allow me to create a default set of labels for my repos · Issue #281 · isaacs/github