Merge branch 'jc/name-rev-exact-ref'
authorJunio C Hamano <gitster@pobox.com>
Mon, 22 Jul 2013 18:24:19 +0000 (22 11:24 -0700)
committerJunio C Hamano <gitster@pobox.com>
Mon, 22 Jul 2013 18:24:19 +0000 (22 11:24 -0700)
Corrects the longstanding sloppiness in the implementation of
name-rev that conflated "we take commit-ish" and "differences
between tags and commits do not matter".

* jc/name-rev-exact-ref:
  describe: fix --contains when a tag is given as input
  name-rev: differentiate between tags and commits they point at
  describe: use argv-array
  name-rev: allow converting the exact object name at the tip of a ref
  name-ref: factor out name shortening logic from name_ref()


Trivial merge