diff options
| author | Junio C Hamano <gitster@pobox.com> | 2013-03-25 14:00:40 -0700 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2013-03-25 14:00:41 -0700 |
| commit | 55f6fbef3d3910fbc5de87f81e8e8e882d3d1d38 (patch) | |
| tree | 02db41e2c308c62a2b8bcc01f1849fef08571214 /environment.c | |
| parent | 212ca64fb4a50178bf8a83c7b1bab15da5c9ab4c (diff) | |
| parent | c2aba155da10b8bc9f867d2f0ac0e63cc8dae1a4 (diff) | |
| download | git-55f6fbef3d3910fbc5de87f81e8e8e882d3d1d38.tar.gz | |
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