Added push alias

This commit is contained in:
2026-01-13 20:00:01 +01:00
parent b4edfa868c
commit 53d2a33ddf
3 changed files with 21 additions and 1 deletions

View File

@@ -14,7 +14,7 @@ if [ $MAIN_BRANCH == $TARGET_BRANCH ]; then
fi
echo "Target branch: $TARGET_BRANCH"
sleep 2
sleep 1
git switch "$MAIN_BRANCH" || exit 1