Merge branch 'po/doc-branch'
authorJunio C Hamano <gitster@pobox.com>
Tue, 9 Jul 2019 22:25:34 +0000 (15:25 -0700)
committerJunio C Hamano <gitster@pobox.com>
Tue, 9 Jul 2019 22:25:34 +0000 (15:25 -0700)
commitecf55ae4f0f73a9759eb58e01cfcc6758acc07c2
tree59eb2d0d7aaa401f8258e23ee4a5236108380fba
parent99eea645832d376a3b214b78a57adabf1fa96547
parent1fde99cfc766353237ff1ca4829ba8d71ccebc87
Merge branch 'po/doc-branch'

Doc update.

* po/doc-branch:
  doc branch: provide examples for listing remote tracking branches
Documentation/git-branch.txt
builtin/branch.c