mirror of
https://github.com/git/git.git
synced 2026-01-12 13:53:11 +09:00
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