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

This commit is contained in:
Steve Bourassa 2023-10-04 16:37:08 -04:00
parent 8ade135a41
commit 771ed93a21

View file

@ -471,7 +471,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
}