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 to sync your changes to the cloud

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

pull-sm.bat to get the cloud version to your computer.

git pull

resolve-conflicts neded when different computers used SuperMemo asynchronously.

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