Re: [PATCH] Fix branch renaming not updating HEADs correctly
- From
Junio C Hamano <gitster@pobox.com>
- Date
- Aug 27, 2017, 05:39 UTC
- 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.