[REQUEST PULL] git-gui 0.20.0 to 0.21.0

2016-10-20 Thread Pat Thoyts
The following changes since commit 4498b3a50a0e839788682f672df267cbc1ba9292: git-gui: set version 0.20 (2015-04-18 12:15:32 +0100) are available in the git repository at: git://repo.or.cz/git-gui.git tags/gitgui-0.21.0 for you to fetch changes up to ccc985126f23ff5d9ac610cb820bca48405ff5ef:

Re: REQUEST PULL: git-gui

2013-06-16 Thread Junio C Hamano
Pulled (but I won't really work on Sunday night so the integration and pushout will be done tomorrow). Thanks. -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majord...@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html

REQUEST PULL: git-gui

2013-06-15 Thread Pat Thoyts
The following changes since commit f6dd784ed4c1705d465b1238f9a5971f2733e582: git-gui 0.17 (2012-10-17 21:57:29 +0100) are available in the git repository at: git://repo.or.cz/git-gui.git tags/gitgui-0.18.0 for you to fetch changes up to 8a383db4b28059becc3ebfd1b402299e34c3151f: git-gui 0