Re: Plumbing to rename a ref?
- From
Junio C Hamano <gitster@pobox.com>
- Date
- May 23, 2014, 17:11 UTC
- Message-ID
- <xmqqr43kju8o.fsf@gitster.dls.corp.google.com>
- In-Reply-To
- <20140523123503.GB726@sigill.intra.peff.net>
Jeff King <peff@peff.net> writes:
Show 8 quoted lines
> One thing that this misses (as does your original script) is the > reflogs. Doing "branch -m" to rename a branch will actually move the > reflogs, too, but there is otherwise no way to access that > functionality. > > It does not seem unreasonable to teach "git update-ref" to do renames to > take advantage of this (it would be fairly simple; the logic is already > encapsulated internally in a rename_ref function).
Sounds sensible.