github issues "claimed" bot

[alexbayleaf]

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?

Comments

[fu]

Yeah probably! It was meant to be a one-off script, but then it grew... so one of those.

Still, feel free to grab whatever is useful, if any.

[alierak]

(except for borrowing the whole thing in a way disallowed by the nonfree license?)

[fu]

Yup! But as a reference implementation it's good.

(also if there's no need for the labelling stuff it's pretty straightforward)