Fixing a few querks with the repair tool.

This commit is contained in:
nathan smith
2025-07-28 16:57:37 +01:00
parent cb7891ad0c
commit 874c63bc24

View File

@@ -19,15 +19,15 @@ if %errorlevel%==0 (
:: Reset scripts repo :: Reset scripts repo
echo Resetting scripts repo to remote... echo Resetting scripts repo to remote...
pushd "%SCRIPTS_DIR%" pushd "%SCRIPTS_DIR%"
%GIT% fetch origin call "%GIT%" fetch origin
%GIT% reset --hard origin/main call "%GIT%" reset --hard origin/main
popd popd
:: Reset sounds repo :: Reset sounds repo
echo Resetting sounds repo to remote... echo Resetting sounds repo to remote...
pushd "%SOUNDS_DIR%" pushd "%SOUNDS_DIR%"
%GIT% fetch origin call "%GIT%" fetch origin
%GIT% reset --hard origin/main call "%GIT%" reset --hard origin/main
popd popd
echo Done. echo Done.