Ensure user is on dev branch if it exists.

This commit is contained in:
2025-10-15 05:09:56 -07:00
parent 6a78933875
commit 305b8df6ff

View File

@@ -564,6 +564,13 @@
echo -e "\n*** `basename $project` ***"
cd $project
if [[ -d .git ]]; then
git ls-remote --exit-code origin dev
dev_exists="$?"
if [[ "$dev_exists" == 0 ]];
git switch dev
else
git switch main
fi
git pull
git push
else