diff options
author | Junio C Hamano <gitster@pobox.com> | 2013-03-26 01:00:40 +0400 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2013-03-26 01:00:41 +0400 |
commit | 55f6fbef3d3910fbc5de87f81e8e8e882d3d1d38 (patch) | |
tree | 02db41e2c308c62a2b8bcc01f1849fef08571214 /environment.c | |
parent | 212ca64fb4a50178bf8a83c7b1bab15da5c9ab4c (diff) | |
parent | c2aba155da10b8bc9f867d2f0ac0e63cc8dae1a4 (diff) |
Merge branch 'jc/push-follow-tag'
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()
Diffstat (limited to 'environment.c')
0 files changed, 0 insertions, 0 deletions