Hi Pratyush,
I was comparing your git-gui repo[1] with the source code of git/git-gui[2]. There seems to be a couple of things missing. For example, I created a patch back in March 2018[3]. Junio pulled it so the changes are really there in git/git-gui/git-gui.sh (see this[4] line). This was while there was no git-gui maintainer. I guess the change never got merged to git-gui, but directly to git. Not sure what you should to about it, I just wanted to let you know. [1] https://github.com/prati0100/git-gui [2] https://github.com/gitster/git/tree/master/git-gui [3] https://public-inbox.org/git/20180302100148.23899-1-birge...@gmail.com/ [4] https://github.com/gitster/git/blob/master/git-gui/git-gui.sh#L3885 Birger
