Re: [Monotone-devel] Re: Undo a commit

[Ludovic Brenta]

Selon Thomas Keller:
> Ludovic Brenta schrieb:
> > Or teach db kill_rev_locally to only change the workspace's parent
> > revision without changing anything to the workspace?
> 
> This is what I meant with "workspace merge" - of course the parent of
> the current workspace no longer exists if it is killed, so
> old_revision
> gets rewritten to the parent of the killed revision. Then, the killed
> revision's changeset is merged (plucked?) into this altered workspace.

That last step is unnecessary because the workspace already contains the
changes in the killed revision.

-- 
Ludovic Brenta.