Re: [PATCH 1/7] shorten_unambiguous_ref(): Allow shortening refs/remotes/origin/HEAD to origin
- From
Junio C Hamano <gitster@pobox.com>
- Date
- May 7, 2013, 21:03 UTC
- Message-ID
- <7v61yujye5.fsf@alter.siamese.dyndns.org>
- In-Reply-To
- <CALKQrgcoz-+5Kb-Y1Ui9LhE=+pvcRUdAS+iRWXAfsYnV6+k34w@mail.gmail.com>
Johan Herland <johan@herland.net> writes:
> New version coming up. I'm going to rip this patch out of the > surrounding series, since it doesn't really belong there anyway.
Thanks; will queue.