Merge branch 'po/doc-branch' into maint
authorJunio C Hamano <gitster@pobox.com>
Mon, 29 Jul 2019 19:38:16 +0000 (12:38 -0700)
committerJunio C Hamano <gitster@pobox.com>
Mon, 29 Jul 2019 19:38:16 +0000 (12:38 -0700)
Doc update.

* po/doc-branch:
doc branch: provide examples for listing remote tracking branches

No differences found