add remote selectable arduino branch

Author: me-no-dev

tools/repository_dispatch.sh

@@ -11,6 +11,7 @@ payload=`echo "$EVENT_JSON" | jq -r '.client_payload'`
 branch=`echo "$payload" | jq -r '.branch'`
 commit=`echo "$payload" | jq -r '.commit'`
 builder=`echo "$payload" | jq -r '.builder'`
+arduino=`echo "$payload" | jq -r '.arduino'`
 
 echo "Action: $action, Branch: $branch, Commit: $commit, Builder: $builder"
 
@@ -34,6 +35,10 @@ if [ ! "$builder" == "" ] && [ ! "$builder" == "null" ]; then
     git checkout "$builder"
 fi
 
+if [ ! "$arduino" == "" ] && [ ! "$arduino" == "null" ]; then
+    export AR_BRANCH="$arduino"
+fi
+
 source ./build.sh
 
 if [ "$action" == "deploy" ]; then

tools/update-components.sh

@@ -8,6 +8,9 @@ source ./tools/config.sh
 
 if [ ! -d "$AR_COMPS/arduino" ]; then
 	git clone $AR_REPO_URL "$AR_COMPS/arduino"
+	if [ "$AR_BRANCH" ]; then
+		git -C "$AR_COMPS/arduino" checkout "$AR_BRANCH"
+	fi
 fi
 if [ $? -ne 0 ]; then exit 1; fi