From 2ca5730a60f73ea1cfa715e4228a7ef7da56cab0 Mon Sep 17 00:00:00 2001 From: David Wendt Date: Sun, 25 Sep 2022 18:20:22 -0400 Subject: [PATCH] ci: Notify Discord when the Wiki changes. We'd do this with Webhooks, but Discord's webhook impl for github does not work. --- .github/workflows/wiki_changed.yml | 13 +++++++++++++ 1 file changed, 13 insertions(+) create mode 100644 .github/workflows/wiki_changed.yml diff --git a/.github/workflows/wiki_changed.yml b/.github/workflows/wiki_changed.yml new file mode 100644 index 000000000..796bb99bf --- /dev/null +++ b/.github/workflows/wiki_changed.yml @@ -0,0 +1,13 @@ +name: Wiki Changed Discord Notification + +on: + gollum + +jobs: + notify: + runs-on: ubuntu-latest + steps: + - uses: 'oznu/gh-wiki-edit-discord-notification@main' + with: + discord-webhook-url: ${{ secrets.DISCORD_WEBHOOK_WIKI_EDIT }} + ignore-collaborators: true \ No newline at end of file