bash: teach __git_ps1 about REVERT_HEAD
commit3ee4452837a1f99088517b25938d5c85aac4a583
authorRobin Rosenberg <robin.rosenberg@dewire.com>
Sun, 31 Mar 2013 00:30:48 +0000 (31 01:30 +0100)
committerJunio C Hamano <gitster@pobox.com>
Mon, 1 Apr 2013 02:07:26 +0000 (31 19:07 -0700)
tree4e3f80c4c5aef305b45f1db79c9b52c1700e9900
parent5e950c2199448d44388f7ca25c837fe7650da93c
bash: teach __git_ps1 about REVERT_HEAD

Signed-off-by: Robin Rosenberg <robin.rosenberg@dewire.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
contrib/completion/git-prompt.sh