Merge 771ed93a21 into cd7d8d697e

Fix cases where there is a "HEAD" file or folder at the root of the repo (or, for Windows, Head, head, etc) by making sure HEAD is not treated as a filename
2024-03-17 15:59:56 +01:00 · 2023-10-04 16:37:08 -04:00
1 changed files with 1 additions and 1 deletions
--- a/src/git-command-manager.ts
+++ b/src/git-command-manager.ts
@ -480,7 +480,7 @@ class GitCommandManager {
  }

  async tryReset(): Promise<boolean> {
-    const output = await this.execGit(['reset', '--hard', 'HEAD'], true)
+    const output = await this.execGit(['reset', '--hard', 'HEAD', '--'], true)
    return output.exitCode === 0
  }
Author	SHA1	Message	Date
Steve Bourassa	015a78f7e3	Merge `771ed93a21` into `cd7d8d697e`	2024-03-17 15:59:56 +01:00
Steve Bourassa	771ed93a21	Fix cases where there is a "HEAD" file or folder at the root of the repo (or, for Windows, Head, head, etc) by making sure HEAD is not treated as a filename	2023-10-04 16:37:08 -04:00