push: rename config variable for more general use
authorChris Rorvick <chris@rorvick.com>
Mon, 3 Dec 2012 03:27:50 +0000 (21:27 -0600)
committerJunio C Hamano <gitster@pobox.com>
Mon, 3 Dec 2012 16:04:08 +0000 (08:04 -0800)
commit1184564...ac8ef6c82da068a31f60aee0d6870265
tree72309ff...fe3d453c9ea44cc3d3691338bcbd942acopy hash to clipboard (tree)
parenta272b28...6dcfd2758e97e0f35cb14df4436d7101copy hash to clipboard (diff)
Documentation/config.txt
advice.c
advice.h
builtin/push.c