Meta: GitHub bot

GitHub activity has picked up lately, and there have been rumblings of building a bot to help us manage the volume.

Optimally, this would be deployable across all the open-source projects, not just here. I opened the ticket in UI because I had this repository open already 😄

Feature wishlist

• Bump label:support tickets if a core member was the last commenter, and it's been 5 days since the comment. Close them at 10 days.
  • Needs escape sequence so we can tell the bot to ignore certain comments (like if a core member says "putting this on hold for a while")
• Delete swagger-api branches that have been merged into master, automatically.
• Run npm run build whenever new commits are present on master (CI may be better suited for this)

Possible solutions

Probot (https://github.com/probot/probot) looks like a viable choice. I'd need to confirm that it can support the time-delayed use case though, it looks to be primarily event-driven.

No project files or tests are named. Start by evaluating Probot's support for the time-delayed label and closure rules and automatic deletion of merged master branches; the crossed-out npm run build item is explicitly out of scope. Done looks like a deployable bot with the listed behaviors and an escape sequence for ignored comments.