[PATCH v2 0/3] rev-parse case insensitivity & @{p} synonym

This v2 addresses the feedback on my "rev-parse: match @{u}, @{push} and ^{<type>} case-insensitively" patch. I've split this into a 3 patch series:

Ævar Arnfjörð Bjarmason (3):
  rev-parse: match @{upstream}, @{u} and @{push} case-insensitively

Reworded the documentation as Junio suggested in <xmqq1stszxn4.fsf@gitster.mtv.corp.google.com>.

  rev-parse: add @{p} as a synonym for @{push}

While I'm at it why don't we have a shorthand for @{push} like @{upstream}? Add it as @{p}.

  rev-parse: match ^{<type>} case-insensitively

Junio didn't want ^{<type>} case-insensitive "for now", so I split it out of the first patch.

I'm not overly excited about it, neither is Junio, so this'll probably be dropped, but I wanted to submit it as a standalone patch in case anyone wanted to pick this up in the future.

 Documentation/revisions.txt   | 15 ++++++++++++---
 git-compat-util.h             |  1 +
 sha1_name.c                   | 14 +++++++-------
 strbuf.c                      |  9 +++++++++
 t/t1450-fsck.sh               |  7 +++++++
 t/t1507-rev-parse-upstream.sh | 15 +++++++++++----
 t/t1511-rev-parse-caret.sh    | 13 +++++++++++++
 t/t1514-rev-parse-push.sh     | 10 ++++++++--
 8 files changed, 68 insertions(+), 16 deletions(-)