tree 11879c546cc2ff4d38c86ef06138a84da5441d3a
parent 44a158445e6082b3a1778a2f6333167432d9bae5
author Dave Borowitz <dborowitz@google.com> 1357593179 -0800
committer Dave Borowitz <dborowitz@google.com> 1357665787 -0800

Highlight the HEAD ref in the list of branches

Move it to the top and make it bold, if it exists. Only applies to the
leaf branch of the HEAD symbolic ref, not to non-branches or
non-symbolic referents of HEAD.

Change-Id: Idcac9fca76c079a7c0f5fe5149175d1065c48fee