Re: [PATCH] Simplify handling of setup_git_directory_gently() failure cases.

2018-12-15 Thread Erin Dahlgren
On Fri, Dec 14, 2018 at 2:32 AM Johannes Schindelin wrote: > > Hi Erin, > > On Thu, 13 Dec 2018, Erin Dahlgren wrote: > > > setup_git_directory_gently() expects two types of failures to > > discover a git directory (e.g. .git/): > > > > - GIT_DIR_HIT_CEILING: could not find a git directory in an

Re: [PATCH] Simplify handling of setup_git_directory_gently() failure cases.

2018-12-14 Thread Johannes Schindelin
Hi Erin, On Thu, 13 Dec 2018, Erin Dahlgren wrote: > setup_git_directory_gently() expects two types of failures to > discover a git directory (e.g. .git/): > > - GIT_DIR_HIT_CEILING: could not find a git directory in any > parent directories of the cwd. > - GIT_DIR_HIT_MOUNT_POINT: cou

[PATCH] Simplify handling of setup_git_directory_gently() failure cases.

2018-12-13 Thread Erin Dahlgren
setup_git_directory_gently() expects two types of failures to discover a git directory (e.g. .git/): - GIT_DIR_HIT_CEILING: could not find a git directory in any parent directories of the cwd. - GIT_DIR_HIT_MOUNT_POINT: could not find a git directory in any parent directories u