From 84150cf6238c7adac9bc2494a71e1d3f27201563 Mon Sep 17 00:00:00 2001 From: Nathaniel Caza Date: Mon, 7 Oct 2024 11:37:56 -0500 Subject: [PATCH] add extra commit --- devtools/scripts/github-set-pr-label.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/devtools/scripts/github-set-pr-label.sh b/devtools/scripts/github-set-pr-label.sh index e1533497b6..696eaf30d8 100755 --- a/devtools/scripts/github-set-pr-label.sh +++ b/devtools/scripts/github-set-pr-label.sh @@ -7,6 +7,7 @@ if [ -z "PR_NUMBER" ]; then fi # test change +# 3 lines total MY_DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)" LABEL=$("$MY_DIR/git-diff-label-calc.sh" --debug)