diff options
Diffstat (limited to '.github/webhook.sh')
| -rwxr-xr-x | .github/webhook.sh | 13 |
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 |
