Nico Williams <nico@xxxxxxxxxxxxxxxx> wrote: > On Thu, Aug 07, 2014 at 05:42:34PM +0100, Tony Finch wrote: > > > > The problem is that the production branch gets copied around: pushed to > > the repo server, pulled by other team members, etc. Forced pushes > > are accident-prone, as is resetting a rebased branch after a pull. > > When I rebase and I need the old HEAD around I do something like this: > [...] > 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. Tony. -- f.anthony.n.finch <dot@xxxxxxxx> http://dotat.at/ Rockall: Southwesterly becoming cyclonic in north, 5 to 7. Moderate or rough. Rain or showers. Moderate or good. -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html