Meta: GitHub bot

[shockey]

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.

[shockey]

cc @webron

[shockey]

Another request... automatically lock closed issues after they've been inactive for ~200 days.

I've been seeing a lot of resurrected issues lately. 💀

[marcelstoer]

Oh, and how about auto-removing stale branches: https://github.com/swagger-api/swagger-ui/branches/stale