Which github bots are popular?

[sesam]

~Boots~ Beats me (for now)

[sesam]

I still don't have any good good answer. The space seems quite fragmented.

Existing bots (small scope):

• Use some existing minimal bots -list of existing probot bots

Build it yourself:

• Use Probot to build custom bots

Config it yourself:

• Use derek if you're big on FaaS
• Use dreck if you want CODEOWNERS and Caddy integrations

Project-specific:

• https://github.com/nodejs/github-bot/tree/master/scripts used by the NodeJS organisation
• https://github.com/icecrime/poule/blob/master/docs/user/intro.rst by the Moby project

DIY through tutorials:

• https://www.geeksforgeeks.org/making-a-github-bot/amp/