On Thu, Aug 7, 2014 at 12:47 PM, Tony Finch <d...@dotat.at> wrote: > Nico Williams <n...@cryptonector.com> wrote: >> Either way I retain the old HEAD with some name. > > Hmm, yes, I can see that would work. However my previous workflow was > rather branch-heavy and I found the accumulation of names annoying. I have > not yet had enough usage out of git-repub to see if it goes too far in the > direction of lack-of-names. A big omission is no opportunity to edit its > commit messages.
Oh, I just read your script more carefully and looked at your example history again. You're using parent metadata in the commits to keep the history alive without the extra names, correct? *That* is _clever_. Hats off. I may have to steal this script :) Nico -- -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majord...@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html