[GIT PULL] git-gui pull request

Pratyush Yadav· Jul 19, 2020, 09:45 UTC · lore

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(-)

Junio C Hamano· Jul 20, 2020, 19:03 UTC · re: Pratyush Yadav · lore

Re: [GIT PULL] git-gui pull request

Pratyush Yadav <me@yadavpratyush.com> writes:

> 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).

Will do.

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

Adding a feature by deleting lines is the best style of development ;-)