On 02/23/16 18:38, Nicolas Morey-Chaisemartin wrote:
With recent git releases, the .git at the top of a repo is not necessary
a directory but can be a gitfile pointing to a remote git directory.
This is commonly used by git-worktree and git-submodule.
This patch changes the check for .git to
With recent git releases, the .git at the top of a repo is not necessary
a directory but can be a gitfile pointing to a remote git directory.
This is commonly used by git-worktree and git-submodule.
This patch changes the check for .git to allow for any file (symlinks too)
Signed-off-by: Nicolas
Ping.
On 11/17/2015 04:48 PM, Nicolas Morey-Chaisemartin wrote:
> With recent git releases, the .git at the top of a repo is not necessary
> a directory but can be a gitfile pointing to a remote git directory.
> This is commonly used by git-worktree and git-submodule.
> This patch changes the
With recent git releases, the .git at the top of a repo is not necessary
a directory but can be a gitfile pointing to a remote git directory.
This is commonly used by git-worktree and git-submodule.
This patch changes the check for .git to allow for any file (symlinks too)
Signed-off-by: Nicolas