Re: erroneous push

[Jordi Gutiérrez Hermoso]

On 31 May 2013 13:29, Jordi Gutiérrez Hermoso <address@hidden> wrote:
> On 31 May 2013 13:24, c. <address@hidden> wrote:
>> Hi,
>>
>> I just pushed a trivial changeset to fix a bug in svds.m:
>>
>> http://hg.savannah.gnu.org/hgweb/octave/rev/bd5e1b3a1ef9
>>
>> I don't how this happened, but it seems that changeset also
>> included a change to the pdf version of the octave logo.
>>
>> Is there a way to strip this changeset from the repo
>
> I'll strip it. Everyone else, be careful to not push it back again!

It's stripped. I just did this as a one-time "emergency" sort of
thing, just because this is a big of a large, binary change.

If anyone has pulled it, they'll have to strip it from their own repo too:

    hg strip -r bd5e1b3a1ef9

Be careful in the future. Do "hg summary" and "hg status" before doing
commit. You can do "hg commit ." so that you only  commit what's in
the current directory, or better, do "hg commit path/to/file" to only
commit that file.

You can also alias "hg commit" to "hg commit ." if you want more
svn-like behaviour.

- Jordi G. H.