summaryrefslogtreecommitdiff
path: root/builtin/push.c
diff options
context:
space:
mode:
authorJunio C Hamano <gitster@pobox.com>2013-03-04 20:09:50 (GMT)
committerJunio C Hamano <gitster@pobox.com>2013-03-05 21:39:46 (GMT)
commitc2aba155da10b8bc9f867d2f0ac0e63cc8dae1a4 (patch)
tree89844bb8e150b9f03caa375a61ea4c122e5fff41 /builtin/push.c
parent557899ff6b4093ebffba71e916f7241b36b59068 (diff)
downloadgit-c2aba155da10b8bc9f867d2f0ac0e63cc8dae1a4.zip
git-c2aba155da10b8bc9f867d2f0ac0e63cc8dae1a4.tar.gz
git-c2aba155da10b8bc9f867d2f0ac0e63cc8dae1a4.tar.bz2
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>
Diffstat (limited to 'builtin/push.c')
-rw-r--r--builtin/push.c2
1 files changed, 2 insertions, 0 deletions
diff --git a/builtin/push.c b/builtin/push.c
index db9ba30..34a8271 100644
--- a/builtin/push.c
+++ b/builtin/push.c
@@ -399,6 +399,8 @@ int cmd_push(int argc, const char **argv, const char *prefix)
OPT_BOOL(0, "progress", &progress, N_("force progress reporting")),
OPT_BIT(0, "prune", &flags, N_("prune locally removed refs"),
TRANSPORT_PUSH_PRUNE),
+ OPT_BIT(0, "follow-tags", &flags, N_("push missing but relevant tags"),
+ TRANSPORT_PUSH_FOLLOW_TAGS),
OPT_END()
};