From 33e6be2245ab264a0b26fc403d4cd50d29070eee Mon Sep 17 00:00:00 2001
From: frennkie <mail@rhab.de>
Date: Thu, 10 Sep 2020 21:11:57 +0200
Subject: [PATCH] use pr{id} syntax for checked out PRs

---
 home.admin/99updateMenu.sh | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/home.admin/99updateMenu.sh b/home.admin/99updateMenu.sh
index f364d4143..d3f43b2bc 100755
--- a/home.admin/99updateMenu.sh
+++ b/home.admin/99updateMenu.sh
@@ -178,7 +178,7 @@ patch()
         newGitHubBranch=$(echo "${newGitHubBranch}" | cut -d " " -f1)
         echo "--> " $newGitHubBranch
         error=""
-        source <(sudo -u admin /home/admin/XXsyncScripts.sh ${newGitHubBranch})
+        source <(sudo -u admin /home/admin/XXsyncScripts.sh -run ${newGitHubBranch})
         if [ ${#error} -gt 0 ]; then
           whiptail --title "ERROR" --msgbox "${error}" 8 30
         fi
@@ -195,9 +195,9 @@ patch()
         pullRequestID=$(echo "${pullRequestID}" | cut -d " " -f1)
         echo "--> " $pullRequestID
         cd /home/admin/raspiblitz
-        git fetch origin pull/${pullRequestID}/head:${pullRequestID}pr
+        git fetch origin pull/${pullRequestID}/head:pr${pullRequestID}
         error=""
-        source <(sudo -u admin /home/admin/XXsyncScripts.sh ${pullRequestID}pr)
+        source <(sudo -u admin /home/admin/XXsyncScripts.sh -run pr${pullRequestID})
         if [ ${#error} -gt 0 ]; then
           whiptail --title "ERROR" --msgbox "${error}" 8 30
         fi