From 1ad7a6c341f3692a530c29f69ec0371ae61aaa86 Mon Sep 17 00:00:00 2001 From: dannye <33dannye@gmail.com> Date: Tue, 21 Nov 2023 21:01:51 -0600 Subject: [PATCH] Don't list unidentified labels in webhook right now --- .github/webhook.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/webhook.sh b/.github/webhook.sh index bd083aaf3..70a219c91 100755 --- a/.github/webhook.sh +++ b/.github/webhook.sh @@ -2,7 +2,7 @@ set -e # Report unnamed symbols -content="$(tools/unnamed.py -r . -l 30 pokeyellow.sym | head)" +content="$(tools/unnamed.py -r . pokeyellow.sym | head)" curl -H 'Content-Type: application/json' -X POST "$DISCORD_WEBHOOK_URL" -d@- << EOF {