File tree Expand file tree Collapse file tree 1 file changed +8
-1
lines changed Expand file tree Collapse file tree 1 file changed +8
-1
lines changed Original file line number Diff line number Diff line change @@ -185,19 +185,26 @@ jobs:
185185 - name : Shallow clone wolfssl
186186 run : |
187187 # Clone the wolfssl to use for example build
188+
189+ # TODO remove after merge
190+ REPO_OWNER=gojimmypi
191+ # End TODO
192+
188193 git clone --depth 1 https://github.com/$REPO_OWNER/wolfssl.git
189194
190195 # Assign your PR branch for testing here:
191196 THIS_PR_BRANCH=""
192197
193198 echo "REPO_OWNER=$REPO_OWNER"
194199
200+ # TODO remove after merge
195201 # A user-specific branch assignment
196202 if [[ "$REPO_OWNER" == "gojimmypi" ]]; then
197- THIS_PR_BRANCH="pr-arduino-print "
203+ THIS_PR_BRANCH="pr-arduino-testing "
198204 else
199205 echo "unexpected repo owner!"
200206 fi
207+ # END TODO
201208
202209 # If a branch is assigned for current repo user, checkout
203210 if [ -z "$THIS_PR_BRANCH" ]; then
You can’t perform that action at this time.
0 commit comments