Merge branch 'rr/prompt-revert-head'

The prompt string generator did not notice when we are in a middle of a "git revert" session. * rr/prompt-revert-head: bash: teach __git_ps1 about REVERT_HEAD

Junio C Hamano committed Apr 3, 2013 at 09:34 UTC 5ab3e4c1b2db00d813b548053f3b96d57d035dd7

No changes.