Fix issue that repo updates based on a tag didn't work yet

sungshik · sungshik · commit 9767edd385fb · 2026-05-15T17:04:15.000+02:00
diff --git a/src/main/rascal/Main.rsc b/src/main/rascal/Main.rsc
@@ -146,7 +146,7 @@ int updateRepos(Projects projs, loc repoFolder, bool full) {
         if (exists(targetFolder)) {
             println("**** Updating <n>");
             checkOutput("fetch", execWithCode("git", args=["fetch"], workingDir=targetFolder));
-            checkOutput("reset", execWithCode("git", args=["reset", "--hard", "origin/<proj.branch>"], workingDir=targetFolder));
+            checkOutput("reset", execWithCode("git", args=["reset", "--hard", "<proj.branch>"], workingDir=targetFolder));
         }
         else {
             println("**** Cloning <n>");

Original file line number	Diff line number	Diff line change
`@@ -146,7 +146,7 @@ int updateRepos(Projects projs, loc repoFolder, bool full) {`
`146`	`146`	`if (exists(targetFolder)) {`
`147`	`147`	`println("**** Updating <n>");`
`148`	`148`	`checkOutput("fetch", execWithCode("git", args=["fetch"], workingDir=targetFolder));`
`149`		`- checkOutput("reset", execWithCode("git", args=["reset", "--hard", "origin/<proj.branch>"], workingDir=targetFolder));`
	`149`	`+ checkOutput("reset", execWithCode("git", args=["reset", "--hard", "<proj.branch>"], workingDir=targetFolder));`
`150`	`150`	`}`
`151`	`151`	`else {`
`152`	`152`	`println("**** Cloning <n>");`