[GIT PULL] git-gui pull request

Hi Junio,

Please pull the changes in git-gui for Git v2.28.0-rc2. The changes this
time around the are fairly small (only one commit in fact).

Regards,
Pratyush Yadav

---
The following changes since commit c195247812f8cd38ba7e1c603112e6c1d8d8e71e:

  Merge branch 'il/ctrl-bs-del' (2020-05-21 18:25:32 +0530)

are available in the Git repository at:

  https://github.com/prati0100/git-gui.git

for you to fetch changes up to 469725c1a3d44f7e1475f1d37cd13e0824d4ea41:

  Merge branch 'mt/open-worktree' (2020-06-22 20:23:28 +0530)

----------------------------------------------------------------
Mikhail Terekhov (1):
      git-gui: allow opening work trees from the startup dialog

Pratyush Yadav (1):
      Merge branch 'mt/open-worktree'

 lib/choose_repository.tcl | 27 +++------------------------
 1 file changed, 3 insertions(+), 24 deletions(-)