Re: [PATCH] setup: avoid double slashes when looking for HEAD

2017-11-03 Thread Jeff King
On Fri, Nov 03, 2017 at 01:58:02PM +0100, Johannes Schindelin wrote: > From: Jeff King > > Andrew Baumann reported that when called outside of any Git worktree, > `git rev-parse --is-inside-work-tree` eventually tries to access > `//HEAD`, i.e. any `HEAD` file in the root

[PATCH] setup: avoid double slashes when looking for HEAD

2017-11-03 Thread Johannes Schindelin
From: Jeff King Andrew Baumann reported that when called outside of any Git worktree, `git rev-parse --is-inside-work-tree` eventually tries to access `//HEAD`, i.e. any `HEAD` file in the root directory, but with a double slash. This double slash is not only unintentional, but