Remove the Discord webhook and tools/unnamed.py

Everything is named, unnamed.py reports 100.00% complete
pret · Sep 19, 2024 · 21cfdbd · 21cfdbd
1 parent 5a622f6
commit 21cfdbd
Show file tree

Hide file tree

Showing 3 changed files with 0 additions and 157 deletions.
diff --git a/.github/webhook.sh b/.github/webhook.sh
diff --git 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

diff --git a/tools/unnamed.py b/tools/unnamed.py