Hi Phillip, On Wed, 14 Jun 2017, Philipp Gortan wrote:
> thanks for following up, > > > Indeed. Why don't you give it a try? > > Actually, I already did: https://github.com/patthoyts/git-gui/pull/12 > > You might want to post your analysis and patch there as well... I wonder what good posting my analysis did, if nothing changed as a consequence. FWIW I opened this PR with Git for Windows to fix it properly: https://github.com/git-for-windows/git/pull/1757 I plan on consolidating all of the PRs at https://github.com/patthoyts/git-gui, too, and to try to get them into git.git. I guess that means that I just volunteered as interim maintainer of the git-gui repository. However, I will really act as maintainer, not as "cleaner upper". Ciao, Johannes
