Merge branch 'jk/push-config'
authorJunio C Hamano <gitster@pobox.com>
Mon, 23 Mar 2015 18:28:13 +0000 (11:28 -0700)
committerJunio C Hamano <gitster@pobox.com>
Mon, 23 Mar 2015 18:28:14 +0000 (11:28 -0700)
commit61ca378...75e83c48343c74a849ff0dcdef9abc91
tree86a974e...c83aaec75bf5b964fc5a85c631db56a3copy hash to clipboard (tree)
parentaa65b86...2584fa91558b528527ff9008c1cceb69copy hash to clipboard (diff)
parenta8bc269...11b34e60f5fdbd8e831a654dd6b6b67ecopy hash to clipboard (diff)
Documentation/config.txt
Documentation/git-push.txt
contrib/completion/git-completion.bash