Supermemo backup using Git

I storngly discourage naming the files "pull.bat" and "push.bat" as both will be next to each other, increasing the chances to missclick leading to potential local deletions.

sm-push.bat

git add -A && git commit -m "Update"
git push

pull-sm.bat

git pull

resolve-conflicts

git reset --hard
git checkout -b temp
git branch -D main
git fetch
git checkout main