feat: GitLens added to inspect student's executions history

deadlock-plugins/deadlock-extension/src/recorder/recorder.ts

@@ -33,19 +33,19 @@ export default class Recorder {
   }
 
   async setupProject(gitMission: GitMission) {
-    if (this.userMission.isReviewing()) {
-      await copyProjectSources(
-        GITEA_PATH_IC,
-        MISSION_PATH_IC,
-        `user-git-${(await this.userMission.getGiteaUser()).username}`,
-      );
-    } else {
-      await copyProjectSources(
-        GITEA_PATH_IC,
-        MISSION_PATH_IC,
-        '.git',
-        `user-git-${(await this.userMission.getGiteaUser()).username}`,
-      );
+    const argsArray: string[] = [`user-git-${(await this.userMission.getGiteaUser()).username}`];
+
+    if(!this.userMission.isReviewing()) {
+      argsArray.push('.git');
+    }
+
+    await copyProjectSources(
+      GITEA_PATH_IC,
+      MISSION_PATH_IC,
+      ...argsArray
+    );
+
+    if (!this.userMission.isReviewing()) {
       renameTempToUserGitFiles(MISSION_PATH_IC, await gitMission.getAuthor());
     }
   }