Print HEAD instead of Head for the current branch in the status line
commit01286755a72bd4788d2660ce985158198e33cb14
authorMarkus Heidelberg <markus.heidelberg@web.de>
Fri, 12 Jun 2009 12:07:57 +0000 (12 14:07 +0200)
committerMarco Costalba <mcostalba@gmail.com>
Fri, 12 Jun 2009 15:20:33 +0000 (12 17:20 +0200)
tree40b6f78069e8b271999795ddef19340bc8e5fcf2
parentf0ae4bd1c9312a333e2c0e0b13e6519742cbd294
Print HEAD instead of Head for the current branch in the status line

HEAD is the correct identifier for the currently checked out branch in
git terminology.

Signed-off-by: Markus Heidelberg <markus.heidelberg@web.de>
Signed-off-by: Marco Costalba <mcostalba@gmail.com>
src/git.cpp