diff options
| author | Rangi42 <remy.oukaour+rangi42@gmail.com> | 2024-09-18 21:49:35 -0400 |
|---|---|---|
| committer | Rangi42 <remy.oukaour+rangi42@gmail.com> | 2024-09-18 21:49:35 -0400 |
| commit | 21cfdbd4588eb44e7c12ce8beb5096fe39833ff2 (patch) | |
| tree | 33b1b69f0f67a2a05eb0b1af4b4f08f1c01999f4 /.github/webhook.sh | |
| parent | Identify remaining uses of `wd0b5` and `wd11e` (#463) (diff) | |
| download | pokeyellow-21cfdbd4588eb44e7c12ce8beb5096fe39833ff2.tar.gz pokeyellow-21cfdbd4588eb44e7c12ce8beb5096fe39833ff2.tar.xz pokeyellow-21cfdbd4588eb44e7c12ce8beb5096fe39833ff2.zip | |
Remove the Discord webhook and tools/unnamed.py
Everything is named, unnamed.py reports 100.00% complete
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 |