1
Script for pushing
Matej Focko edited this page 2021-12-07 00:12:16 +01:00
for submission in 12post5.*; do
cd $submission
BRANCH_NAME=$(pwd | cut -d'/' -f6)
LOGIN=$(echo $BRANCH_NAME | cut -d'.' -f3)
echo $BRANCH_NAME $LOGIN
git checkout -b "$BRANCH_NAME"
git add .
git commit -S -m "08post3($LOGIN): add solution"
git push -u origin
git checkout main
cd ..
done;