[Monotone-devel] Re: Undo a commit

[Ludovic Brenta]

Selon Daniel Carrera:
> Ludovic Brenta wrote:
>> Or teach db kill_rev_locally to only change the workspace's parent
>> revision without changing anything to the workspace?
> 
> Or make a command "mtn rollback" that is equivalent to kill_rev_locally
> without changing the workspace. It should be simple enough.
> 
> Step 1: Edit _MTN/revision to point to the previous revision.
> Step 2: Run kill_rev_locally on the last revision.

I would prefer a single-purpose command, "mtn rebase -r <rev>", that only
rewrites the old_revision field in _MTN/revision.  Then, the user can
either kill_rev_locally h:, disapprove h:, or simply commit to create a
divergence if that's what they want.

-- 
Ludovic Brenta.