From a976a070678c30d57a862d1a83e5a03872d9233d Mon Sep 17 00:00:00 2001
From: Martin Stolle <martin.stolle@zeit.de>
Date: Mon, 26 Feb 2024 08:41:07 +0100
Subject: [PATCH] MAINT: rename JENKINS_BATOU_BRANCH to DEPLOYMENT_BRANCH in
 testrunner

---
 .github/workflows/testrunner.yaml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/testrunner.yaml b/.github/workflows/testrunner.yaml
index 3f04d06407..3cd05e909e 100644
--- a/.github/workflows/testrunner.yaml
+++ b/.github/workflows/testrunner.yaml
@@ -34,7 +34,7 @@ jobs:
                 branch="main"
             else
                 branch=$(echo -e "${{github.event.pull_request.body}}" | \
-                    sed -ne '/JENKINS_BATOU_BRANCH=/s/JENKINS_BATOU_BRANCH=//p' | \
+                    sed -ne '/DEPLOYMENT_BRANCH=/s/DEPLOYMENT_BRANCH=//p' | \
                     tr --delete ' \r\n')
                 if [[ -z "$branch" ]]; then
                     branch=main