aboutsummaryrefslogtreecommitdiffstats
path: root/.github/webhook.sh
diff options
context:
space:
mode:
Diffstat (limited to '.github/webhook.sh')
-rwxr-xr-x.github/webhook.sh13
1 files changed, 0 insertions, 13 deletions
diff --git a/.github/webhook.sh b/.github/webhook.sh
deleted file mode 100755
index 2ba63dbb..00000000
--- a/.github/webhook.sh
+++ /dev/null
@@ -1,13 +0,0 @@
-#!/bin/sh
-set -e
-
-# Report unnamed symbols
-content="$(tools/unnamed.py -r . -l 30 pokered.sym | head)"
-
-curl -H 'Content-Type: application/json' -X POST "$DISCORD_WEBHOOK_URL" -d@- << EOF
-{
- "username": "OK",
- "avatar_url": "https://i.imgur.com/38BQHdd.png",
- "content": "\`\`\`$(echo "$content" | sed -E ':a;N;$!ba;s/\r{0,1}\n/\\n/g')\`\`\`"
-}
-EOF