Merge branch 'jc/push-follow-tag' into next
commitd302a1003181cb5d76c1637984a329f8cb2c2b7a
authorJunio C Hamano <gitster@pobox.com>
Tue, 19 Mar 2013 22:57:14 +0000 (19 15:57 -0700)
committerJunio C Hamano <gitster@pobox.com>
Tue, 19 Mar 2013 22:57:15 +0000 (19 15:57 -0700)
tree2cf6ffe8c8c6abc09bbcdabca6c2650d33176598
parenta4f9eacac683ac0cc484b5d9a7f64f2383b54973
parentc2aba155da10b8bc9f867d2f0ac0e63cc8dae1a4
Merge branch 'jc/push-follow-tag' into next

The new "--follow-tags" option tells "git push" to push relevant
annotated 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