2 Commits

Author	SHA1	Message	Date
David Wendt	51c9e3714a	ci: Yes, even me.	2022-09-25 16:28:18 -06:00
David Wendt	2ca5730a60	ci: Notify Discord when the Wiki changes. ... We'd do this with Webhooks, but Discord's webhook impl for github does not work.	2022-09-25 16:23:27 -06:00