fix(bot): ensure branch names always start with 'bot/' prefix

This commit is contained in:
Christian Gunderman
2026-05-14 10:23:03 -07:00
parent f65cacfea4
commit 746be830fe
2 changed files with 11 additions and 5 deletions

View File

@@ -321,8 +321,8 @@ jobs:
fi
if [[ ! "$BRANCH_NAME" =~ ^bot/ ]]; then
echo "Error: Branch name '$BRANCH_NAME' does not start with 'bot/'. Safety abort."
exit 1
echo "Warning: Branch name '$BRANCH_NAME' does not start with 'bot/'. Prepending 'bot/' for safety."
BRANCH_NAME="bot/$BRANCH_NAME"
fi
git checkout -B "$BRANCH_NAME"