944Overwrite local changes with git pull

git pull does not overwrite any local changed files by default. If you want to overwrite - and loose - any local changes, use:

git reset --hard origin/main

origin/main might be origin/master for legacy repos.