# automata
A github bot for automating github related stuff