Merge branch 'jc/push-follow-tag' into next
commit748fbedff36d68600629d7c5fbb857812818667a
authorJunio C Hamano <gitster@pobox.com>
Sat, 9 Mar 2013 21:03:16 +0000 (9 13:03 -0800)
committerJunio C Hamano <gitster@pobox.com>
Sat, 9 Mar 2013 21:03:16 +0000 (9 13:03 -0800)
tree497ae8b2a141e5711cb74f58dbb3323ba2e018ad
parenta12465eb42676277c3a2740ab1135cb95adeef7d
parentc2aba155da10b8bc9f867d2f0ac0e63cc8dae1a4
Merge branch 'jc/push-follow-tag' into next

The new "--follow-tags" option tells "git push" to push relevant
tags when pushing branches out.

* jc/push-follow-tag:
  push: --follow-tags
  commit.c: use clear_commit_marks_many() in in_merge_bases_many()
  commit.c: add in_merge_bases_many()
  commit.c: add clear_commit_marks_many()
Documentation/git-push.txt
builtin/push.c
commit.h
remote.c
remote.h
t/t5516-fetch-push.sh
transport.c
transport.h