From a55650694b64ed6f1f0fbd68e0c50f23ea1d8622 Mon Sep 17 00:00:00 2001
From: Augustus <123775785+OlegTheSnowman@users.noreply.github.com>
Date: Wed, 2 Jul 2025 14:43:50 +0300
Subject: [PATCH] added a repair tool to fix repos if broken

---
 repair tool.bat | 34 ++++++++++++++++++++++++++++++++++
 1 file changed, 34 insertions(+)
 create mode 100644 repair tool.bat

diff --git a/repair tool.bat b/repair tool.bat
new file mode 100644
index 0000000..cd8af84
--- /dev/null
+++ b/repair tool.bat	
@@ -0,0 +1,34 @@
+@echo off
+setlocal
+
+:: Define repo paths
+set "SCRIPTS_DIR=%~dp0"
+set "SOUNDS_DIR=%~dp0sounds"
+
+:: Try to use system git, fallback to GitPortable
+where git >nul 2>nul
+if %errorlevel%==0 (
+    set "GIT=git"
+) else if exist "%~dp0GitPortable\cmd\git.exe" (
+    set "GIT=%~dp0GitPortable\cmd\git.exe"
+) else (
+    echo Git not found. Please install Git or place GitPortable in the same folder.
+    exit /b 1
+)
+
+:: Reset scripts repo
+echo Resetting scripts repo to remote...
+pushd "%SCRIPTS_DIR%"
+%GIT% fetch origin
+%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
+popd
+
+echo Done.
+endlocal