Remove interim REPO_OWNER redirect

pull/522/head
gojimmypi 2025-09-08 08:42:27 -07:00
parent ef32694230
commit a87dbd7a7b
No known key found for this signature in database
GPG Key ID: 3D684FA88DC3FAA8
1 changed files with 0 additions and 13 deletions

View File

@ -186,10 +186,6 @@ jobs:
run: |
# Clone the wolfssl to use for example build
# TODO remove after merge
REPO_OWNER=gojimmypi
# End TODO
git clone --depth 1 https://github.com/$REPO_OWNER/wolfssl.git
# Assign your PR branch for testing here:
@ -197,15 +193,6 @@ jobs:
echo "REPO_OWNER=$REPO_OWNER"
# TODO remove after merge
# A user-specific branch assignment
if [[ "$REPO_OWNER" == "gojimmypi" ]]; then
THIS_PR_BRANCH="pr-arduino-testing"
else
echo "unexpected repo owner!"
fi
# END TODO
# If a branch is assigned for current repo user, checkout
if [ -z "$THIS_PR_BRANCH" ]; then
echo "Assign your PR branch name for testing"