Re: git://github.com/some/thing.git/?

From: Junio C Hamano <hidden>
Date: 2016-06-15 22:53:24

Jeff King [off-list ref] writes:

However, it turned out to be a one-line patch.

Thanks.