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/workflows/main.yml | 7 -------
 1 file changed, 7 deletions(-)

(limited to '.github/workflows')

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