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 -------------
 1 file changed, 13 deletions(-)
 delete mode 100755 .github/webhook.sh

(limited to '.github/webhook.sh')

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
-- 
cgit v1.3.1-sl0p