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;