[GIT PULL] git-gui pull request

Hi Junio,

Please pull the new changes in git-gui for the upcoming Git v2.25 release.

--- The following changes since commit b524f6b399c77b40c8bf2b6217585fde4731472a:

  Merge branch 'ka/japanese-translation' (2019-10-14 23:22:50 +0530)

are available in the Git repository at:

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

for you to fetch changes up to 0d2116c6441079a5a1091e4cf152fd9d5fa9811b:

  Merge branch 'zs/open-current-file' (2020-01-05 02:38:03 +0530)

----------------------------------------------------------------
Jonathan Gilbert (3):
      git-gui: consolidate naming conventions
      git-gui: update status bar to track operations
      git-gui: revert untracked files by deleting them

Kazuhiro Kato (1):
      git gui: fix branch name encoding error

Pratyush Yadav (5):
      Merge branch 'jg/revert-untracked'
      Merge branch 'kk/branch-name-encoding'
      git-gui: allow closing console window with Escape
      Merge branch 'py/console-close-esc'
      Merge branch 'zs/open-current-file'

Zoli Szabó (1):
      git-gui: allow opening currently selected file in default app

 git-gui.sh                |  61 ++++--
 lib/blame.tcl             |  24 ++-
 lib/branch.tcl            |   2 +
 lib/checkout_op.tcl       |  15 +-
 lib/choose_repository.tcl | 120 +++++++----
 lib/chord.tcl             | 160 ++++++++++++++
 lib/console.tcl           |   2 +
 lib/index.tcl             | 523 ++++++++++++++++++++++++++++++++++------------
 lib/merge.tcl             |  14 +-
 lib/status_bar.tcl        | 231 +++++++++++++++++---
 10 files changed, 920 insertions(+), 232 deletions(-)
 create mode 100644 lib/chord.tcl