Re: hg repo corruption, please strip and pull again

[c.]

On 18 Jun 2013, at 16:32, Jordi Gutiérrez Hermoso <address@hidden> wrote:

> During a server upgrade, it seems like somehow an option to verify the
> integrity of commits before pushing was disabled. I have just
> re-enabled it, but in the meantime, a corrupt commit got through,
> almost certainly due to an hg bug, but there are other possible
> reasons.
> 
> I have fixed Savannah's copy, but you will also need to fix your own
> copy. First, strip the bad commit:
> 
>    hg strip --config extensions.mq= -r c754490abae5 --no-backup
> 
> The --no-backup is important, otherwise hg will error out when trying
> to create a backup of the bad commit.
> 
> Then pull again from Savannah.
> 
> That is all.
> 
> - Jordi G. H.


$ hg strip --config extensions.mq= -r c754490abae5 --no-backup
abort: unknown revision 'c754490abae5'!

does this mean I never pulled the corrupted changeset so I don't need to strip 
it?
c.