git-gui: Makes chooser set 'gitdir' to the resolved path
commit83da013998a93bf3413eae4bf8d6aca01550188b
authorRemi Rampin <remirampin@gmail.com>
Fri, 6 Mar 2015 16:21:53 +0000 (6 11:21 -0500)
committerPat Thoyts <patthoyts@users.sourceforge.net>
Sat, 7 Mar 2015 12:29:03 +0000 (7 12:29 +0000)
tree6f3f9fd1b1d8eaf1e43b99e5745d8aa1f060fb2e
parentcc6825e194c86382068548354faa43839410a8d3
git-gui: Makes chooser set 'gitdir' to the resolved path

If _is_git follows a "gitdir: ..." file link to get to the actual
repository, we want _gitdir to be set to that final path.

Signed-off-by: Chris Packham <judge.packham@gmail.com>
Signed-off-by: Remi Rampin <remirampin@gmail.com>
Signed-off-by: Pat Thoyts <patthoyts@users.sourceforge.net>
lib/choose_repository.tcl