github issues "claimed" bot
If I recall correctly, there's a bot that assigns github issues to people if they say "claimed" or similar in the issue comments.
Can someone point me to the code/setup/whatever for that bot?
Can someone point me to the code/setup/whatever for that bot?