diff options
| author |  Pratyush Yadav <me@yadavpratyush.com> | 2020-06-22 20:23:28 +0530 |
|---|---|---|
| committer | Pratyush Yadav <me@yadavpratyush.com> | 2020-06-22 20:23:28 +0530 |
| commit | 469725c1a3d44f7e1475f1d37cd13e0824d4ea41 (patch) | |
| tree | f705800282a6243305f94212ee38035d97007552 /git-gui/po | |
| parent | Merge branch 'il/ctrl-bs-del' (diff) | |
| parent | git-gui: allow opening work trees from the startup dialog (diff) | |
| download | tgif-469725c1a3d44f7e1475f1d37cd13e0824d4ea41.tar.xz | |
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/po')
0 files changed, 0 insertions, 0 deletions