push: use remote.$name.push as a refmap
authorJunio C Hamano <gitster@pobox.com>
Tue, 3 Dec 2013 23:41:15 +0000 (15:41 -0800)
committerJunio C Hamano <gitster@pobox.com>
Wed, 4 Dec 2013 23:11:08 +0000 (15:11 -0800)
commitca02465...41311fe7634acb9bb5b5c61975ef5f38
tree67ed0c5...4ad4711d2959a717471331e6d175bcf9copy hash to clipboard (tree)
parent50d829c...1a3c82a8b23f2e165ab6944dfd9bbb36copy hash to clipboard (diff)
Documentation/git-push.txt
builtin/push.c
remote.c
remote.h
t/t5516-fetch-push.sh