From f66d5ce50b3c61d0d2dc24a3fe244f2d7f303b6e Mon Sep 17 00:00:00 2001 From: ge0rdi Date: Sun, 30 Aug 2026 13:02:09 +0200 Subject: [PATCH] Fix source indexing `actions/checkout@v6` clones repo from URL that doesn't contain `.git` at the end. We were removing last 4 characters of the URL which resulted in wrong `REPO_URL` in source index and debugger was thus unable to fetch sources. The fix is to remove last 4 characters of URL only if there is `.git` at the end. --- Src/Setup/CreateSourceIndex.bat | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Src/Setup/CreateSourceIndex.bat b/Src/Setup/CreateSourceIndex.bat index 87001a1..6c78a7c 100644 --- a/Src/Setup/CreateSourceIndex.bat +++ b/Src/Setup/CreateSourceIndex.bat @@ -12,8 +12,8 @@ set SRC_ROOT=%~fdp1 rem get repo url for /f %%A in ('git remote get-url origin') do set REPO_URL=%%A -rem remove .git from the end -set REPO_URL=%REPO_URL:~0,-4% +rem remove eventual .git from the end +if /I "%REPO_URL:~-4%"==".git" set "REPO_URL=%REPO_URL:~0,-4%" rem get actual commit id for /f %%A in ('git rev-parse HEAD') do set COMMIT=%%A