On Thu, 2008-08-14 at 11:44 +1000, Robert Collins wrote: > tip advance > ----------- > > This can be reduced down to commit Won't this re-number if I pull a branch that has just merged me, as my current tip is now not in the left-hand ancestory, and so will get a dotted revno? Thanks, James