push: --follow-tags
authorJunio C Hamano <gitster@pobox.com>
Mon, 4 Mar 2013 20:09:50 +0000 (12:09 -0800)
committerJunio C Hamano <gitster@pobox.com>
Tue, 5 Mar 2013 21:39:46 +0000 (13:39 -0800)
commitc2aba155da10b8bc9f867d2f0ac0e63cc8dae1a4
tree89844bb8e150b9f03caa375a61ea4c122e5fff41
parent557899ff6b4093ebffba71e916f7241b36b59068
push: --follow-tags

The new option "--follow-tags" tells "git push" to push annotated
tags that are missing from the other side and that can be reached by
the history that is otherwise pushed out.

For example, if you are using the "simple", "current", or "upstream"
push, you would ordinarily push the history leading to the commit at
your current HEAD and nothing else.  With this option, you would
also push all annotated tags that can be reached from that commit to
the other side.

Signed-off-by: Junio C Hamano <gitster@pobox.com>
Documentation/git-push.txt
builtin/push.c
remote.c
remote.h
t/t5516-fetch-push.sh
transport.c
transport.h