From: Junio C Hamano <gitster@pobox.com>
Date: Sun, 27 Aug 2017 05:39:36 GMT
Subject: Re: [PATCH] Fix branch renaming not updating HEADs correctly
Message-ID: <xmqqd17hr2lj.fsf@gitster.mtv.corp.google.com>
In-Reply-To: <20170824104124.6263-1-pclouds@gmail.com>

Thanks.  I'll merge this down to at least 'next' before I go
offline for a week.