Checkout (restore) instead of reset branch head

jablko · jablko · commit 6b080fdb25c5 · 2020-02-11T23:27:09.000-07:00
diff --git a/src/testRunner/externalCompileRunner.ts b/src/testRunner/externalCompileRunner.ts
@@ -59,7 +59,7 @@ namespace Harness {
                             exec("git", ["clone", config.cloneUrl, directoryName], { cwd });
                         }
                         else {
-                            exec("git", ["reset", "HEAD", "--hard"], { cwd: submoduleDir });
+                            exec("git", ["checkout", ":/"], { cwd: submoduleDir });
                             exec("git", ["clean", "-f"], { cwd: submoduleDir });
                             exec("git", ["pull", "-f"], { cwd: submoduleDir });
                         }

Original file line number	Diff line number	Diff line change
`@@ -59,7 +59,7 @@ namespace Harness {`
`59`	`59`	`exec("git", ["clone", config.cloneUrl, directoryName], { cwd });`
`60`	`60`	`}`
`61`	`61`	`else {`
`62`		`- exec("git", ["reset", "HEAD", "--hard"], { cwd: submoduleDir });`
	`62`	`+ exec("git", ["checkout", ":/"], { cwd: submoduleDir });`
`63`	`63`	`exec("git", ["clean", "-f"], { cwd: submoduleDir });`
`64`	`64`	`exec("git", ["pull", "-f"], { cwd: submoduleDir });`
`65`	`65`	`}`