Add CI, document DM-only delivery

CI runs typecheck on push/PR, real badge instead of a decorative one.
Also documents that delivery always goes to DMs regardless of where a
command was invoked, which wasn't stated anywhere and matters for anyone
installing the bot to a server.

Psalm 25 17committed 3 months agoparent f1d5883b0ead7673887a04c0b31145abd2c7ddda22268eeBrowse files