Rex Schrader

Great work, keep it up!

I had a user comment on Discord, twice. In both cases I tracked down the files in the revision history. That were not using Gitpod, they were self hosting. They...

Bottom line: it's not clear why the csv files are not available in the `main` branches of these repos. It feels like they should be? And/or why does the head...

> Perhaps we could add a readme to each repo that says how to run the course. This seems like a reasonable approach. Have a link to the instructions above,...

I propose `!ban` rather than `/ban`, so it doesn't conflict with the actual `/ban` command.

> We can even do `fluffy foo @` I fully endorse and insist on this command name.

**Project Ban Hammer, Test 0001** Naive implementation, have the bot "say" `/ban @username` appears to have failed. The bot literally says it, no effect on test subject. Looking through the...

I have my personal bot, "SaintBot", set up with a room created by that account. I was able to manually ban a user with that account, but the bot was...

Yes: :point_up: [November 22, 2015 6:20 PM](https://gitter.im/SaintBot/testing?at=565277ff54ba2ca242611ca7) Note that although the activity shows a ban and unban in that room, that was me confirming that I as "SaintBot" could manually...

Might make sense to make an array "Ignore List" in case we need to add other names to it, rather than just hard coding the "all".