From: Junio C Hamano <redacted>
Date: Wed, 18 Sep 2019 18:22:11 +0000 (-0700)
Subject: Merge branch 'master' of https://github.com/prati0100/git-gui
X-Git-Url: http://git.99rst.org/?a=commitdiff_plain;h=7e1976e2100da661e858e3aa12ae2c8d152431c2;p=git.git

Merge branch 'master' of https://github.com/prati0100/git-gui

* 'master' of https://github.com/prati0100/git-gui:
  git-gui: add hotkey to toggle "Amend Last Commit"
  git-gui: add horizontal scrollbar to commit buffer
  git-gui: convert new/amend commit radiobutton to checkbutton
  git-gui: add hotkeys to set widget focus
  git-gui: allow undoing last revert
  git-gui: return early when patch fails to apply
  git-gui: allow reverting selected hunk
  git-gui: allow reverting selected lines
---

7e1976e2100da661e858e3aa12ae2c8d152431c2