Remove the Discord webhook and tools/unnamed.py

Everything is named, unnamed.py reports 100.00% complete

.github/webhook.sh

@@ -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

.github/workflows/main.yml

@@ -48,13 +48,6 @@ jobs:
             return 1
           fi
 
-      - name: Discord webhook
-        if: ${{ github.event_name == 'push' && github.repository_owner == 'pret' }}
-        env:
-          DISCORD_WEBHOOK_URL: ${{ secrets.DISCORD_WEBHOOK_URL }}
-        run: |
-          .github/webhook.sh
-
       - name: Checkout symbols
         if: ${{ github.event_name == 'push' && github.repository_owner == 'pret' }}
         uses: actions/checkout@master