bash: teach __git_ps1 about REVERT_HEAD
authorRobin Rosenberg <robin.rosenberg@dewire.com>
Sun, 31 Mar 2013 00:30:48 +0000 (01:30 +0100)
committerJunio C Hamano <gitster@pobox.com>
Mon, 1 Apr 2013 02:07:26 +0000 (19:07 -0700)
commit3ee4452...37a1f99088517b25938d5c85aac4a583
tree4e3f80c...c5aef305b45f1db79c9b52c1700e9900copy hash to clipboard (tree)
parent5e950c2...99448d44388f7ca25c837fe7650da93ccopy hash to clipboard (diff)
contrib/completion/git-prompt.sh