Fixing querks with the repair tool.
This commit is contained in:
@@ -19,15 +19,15 @@ if %errorlevel%==0 (
|
||||
:: Reset scripts repo
|
||||
echo Resetting scripts repo to remote...
|
||||
pushd "%SCRIPTS_DIR%"
|
||||
%GIT% fetch origin
|
||||
%GIT% reset --hard origin/main
|
||||
call "%GIT%" fetch origin
|
||||
call "%GIT%" reset --hard origin/main
|
||||
popd
|
||||
|
||||
:: Reset sounds repo
|
||||
echo Resetting sounds repo to remote...
|
||||
pushd "%SOUNDS_DIR%"
|
||||
%GIT% fetch origin
|
||||
%GIT% reset --hard origin/main
|
||||
call "%GIT%" fetch origin
|
||||
call "%GIT%" reset --hard origin/main
|
||||
popd
|
||||
|
||||
echo Done.
|
||||
|
||||
Reference in New Issue
Block a user