Add a remote.*.mirror configuration option
authorPaolo Bonzini <bonzini@gnu.org>
Thu, 17 Apr 2008 11:17:20 +0000 (13:17 +0200)
committerJunio C Hamano <gitster@pobox.com>
Mon, 21 Apr 2008 01:49:22 +0000 (18:49 -0700)
commit84bb2df...9f4873c9ca19537efe62219b09ec03bf
tree4490819...5489268b9fc9b9eec3da8ec87c8774facopy hash to clipboard (tree)
parent5909ca9...d8b2c6a0534597f52f7733ff61a64d63copy hash to clipboard (diff)
Documentation/config.txt
Documentation/git-push.txt
Documentation/git-remote.txt
builtin-push.c
builtin-remote.c
remote.c
remote.h
t/t5517-push-mirror.sh