Commit Graph

1 Commits

Author SHA1 Message Date
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