git-classroom-bulk-fix-n-push

#!/bin/bash

for D in */
do
    echo "~~ Starting $D ~~"
    cd $D
    git add -A
    git commit -m "Add feedback"
    git remote set-url origin $(git remote -v | head -n 1 | grep -o 'github\.com.*git' | awk '{print "https://"$1}')
    git pull
    git push origin main
    cd ..
    echo "~~ Pushed $D ~~"
done