[PATCHv3 0/3] git-gui: more robust handling of fancy repos

As promised a long time ago (March 30), version 3 of the small patchset to improve handling of repositories in git gui. The most significant change is the addition of the third patch.

The first patch allows git gui to work with respotiories for which the worktree is not the parent of the gitdir.

The second patch refactors bare repository detection, improves the error message if the bare support feature is disabled, and disabled inapplicable menu entries.

The third patch allows git-gui to work properly when launched from the .git directory itself, solving the issue Markus Heidelberg was having in http://thread.gmane.org/gmane.comp.version-control.git/115044

Giuseppe Bilotta (3):
  git-gui: handle non-standard worktree locations
  git-gui: handle bare repos correctly
  git-gui: work from the .git dir

 git-gui/git-gui.sh |   88 +++++++++++++++++++++++++++++++++++++++++++---------
 1 files changed, 73 insertions(+), 15 deletions(-)