Researcher and table-top gaming enthusiast, and also hobbyist programmer.
Joined on 2021-08-02
Block a user
Blocking a user prevents them from interacting with repositories, such as opening or commenting on pull requests or issues. Learn more about blocking a user.
2f10edc3f9
Committed version 3 of the bot from the source code on my computer. Older versions of the bot were version controlled manually before I knew how to use Git.