diff options
| author | Pratyush Yadav <me@yadavpratyush.com> | 2020-06-22 17:53:28 +0300 |
|---|---|---|
| committer | Pratyush Yadav <me@yadavpratyush.com> | 2020-06-22 17:53:28 +0300 |
| commit | 469725c1a3d44f7e1475f1d37cd13e0824d4ea41 (patch) | |
| tree | f705800282a6243305f94212ee38035d97007552 /git-gui | |
| parent | c195247812f8cd38ba7e1c603112e6c1d8d8e71e (diff) | |
| parent | a7473956f7e0ff710f6928b1c23a577f66cb4165 (diff) | |
Merge branch 'mt/open-worktree'
Clean up the code that checks if a directory is a Git repo. Use git
rev-parse instead of rolling our own logic to find that out. A side
effect (which also happens to be the main motivation behind it) of this
change is that git-gui can now open worktrees other than the main
worktree.
* mt/open-worktree:
git-gui: allow opening work trees from the startup dialog
Diffstat (limited to 'git-gui')
0 files changed, 0 insertions, 0 deletions