What's your favorite GitHub automation tools?

[mikeal]

The Community WG is reviewing the world of existing GitHub automation tools, mostly Probot, and we'd like to hear what tools people have used in other projects that they particularly like.

[pkafei]

Haven't used it yet, but Hoodie's First Time Contributor Bot looks promising.

[mikeal]

I like the premise of that bot as well. If anything, it does a great job of signaling to everyone else in the repo that this is a first time contributor that we should take a little more care with.