sandalphon: dont touch origin when user clone is requested (#663)

fushar · web-flow · commit 42d91a31a899 · 2024-09-07T22:25:33.000+07:00
diff --git a/judgels-backends/judgels-server-app/src/main/java/judgels/sandalphon/problem/base/version/ProblemVersionStore.java b/judgels-backends/judgels-server-app/src/main/java/judgels/sandalphon/problem/base/version/ProblemVersionStore.java
@@ -65,7 +65,7 @@ public boolean updateUserClone(String userJid, String problemJid) {
 
     public boolean pushUserClone(String userJid, String problemJid) {
         Path origin = getOriginDirPath(problemJid);
-        Path root = getRootDirPath(userJid, problemJid);
+        Path root = getCloneDirPath(userJid, problemJid);
 
         if (problemGit.push(root)) {
             problemGit.resetHard(origin);
@@ -79,13 +79,13 @@ public boolean pushUserClone(String userJid, String problemJid) {
     }
 
     public boolean fetchUserClone(String userJid, String problemJid) {
-        Path root = getRootDirPath(userJid, problemJid);
+        Path root = getCloneDirPath(userJid, problemJid);
 
         return problemGit.fetch(root);
     }
 
     public void discardUserClone(String userJid, String problemJid) {
-        Path root = getRootDirPath(userJid, problemJid);
+        Path root = getCloneDirPath(userJid, problemJid);
 
         problemFs.removeFile(root);
     }

Original file line number	Diff line number	Diff line change
`@@ -65,7 +65,7 @@ public boolean updateUserClone(String userJid, String problemJid) {`
`65`	`65`
`66`	`66`	`public boolean pushUserClone(String userJid, String problemJid) {`
`67`	`67`	`Path origin = getOriginDirPath(problemJid);`
`68`		`- Path root = getRootDirPath(userJid, problemJid);`
	`68`	`+ Path root = getCloneDirPath(userJid, problemJid);`
`69`	`69`
`70`	`70`	`if (problemGit.push(root)) {`
`71`	`71`	`problemGit.resetHard(origin);`
`@@ -79,13 +79,13 @@ public boolean pushUserClone(String userJid, String problemJid) {`
`79`	`79`	`}`
`80`	`80`
`81`	`81`	`public boolean fetchUserClone(String userJid, String problemJid) {`
`82`		`- Path root = getRootDirPath(userJid, problemJid);`
	`82`	`+ Path root = getCloneDirPath(userJid, problemJid);`
`83`	`83`
`84`	`84`	`return problemGit.fetch(root);`
`85`	`85`	`}`
`86`	`86`
`87`	`87`	`public void discardUserClone(String userJid, String problemJid) {`
`88`		`- Path root = getRootDirPath(userJid, problemJid);`
	`88`	`+ Path root = getCloneDirPath(userJid, problemJid);`
`89`	`89`
`90`	`90`	`problemFs.removeFile(root);`
`91`	`91`	`}`