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

ia-toki · Sep 7, 2024 · 42d91a3 · 42d91a3
1 parent 2a5fb1d
commit 42d91a3
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/...server-app/src/main/java/judgels/sandalphon/problem/base/version/ProblemVersionStore.java b/...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);
     }