Merge branch 'mg/doc-remote-tags-or-not'
[git] / t / t5100 / patch0007