From 21cfdbd4588eb44e7c12ce8beb5096fe39833ff2 Mon Sep 17 00:00:00 2001
From: Rangi42 <remy.oukaour+rangi42@gmail.com>
Date: Wed, 18 Sep 2024 21:49:35 -0400
Subject: Remove the Discord webhook and tools/unnamed.py

Everything is named, unnamed.py reports 100.00% complete
---
 .github/webhook.sh         | 13 -------------
 .github/workflows/main.yml |  7 -------
 2 files changed, 20 deletions(-)
 delete mode 100755 .github/webhook.sh

(limited to '.github')

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
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index 0a0da0f3..7ac61def 100644
--- a/.github/workflows/main.yml
+++ b/.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
-- 
cgit v1.3.1-sl0p