Re: [PATCH 1/7] shorten_unambiguous_ref(): Allow shortening refs/remotes/origin/HEAD to origin

Johan Herland [off-list ref] 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.