Merge 771ed93a21 into 12cd2235ef

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
2026-07-16 08:25:18 -04: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
@ -593,7 +593,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	b320b8c70e	Merge `771ed93a21` into `12cd2235ef`	2026-07-16 08:25:18 -04: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