RetroSearch Browse

Sat Sep 5 18:20:16 CEST 2009 · https://mail.python.org/pipermail/python-dev/2009-September/091610.html

>> I don't think this problem is really serious. If the push fails, you
>> can just commit (locally) a new changeset that repairs the EOL or
>> indentation problems, and push the whole bunch of changesets again (I
>> assume the server-side hook will not examine changesets individually,
>> but only the last of them?).
> 
> Yes, the server-side hook will have to work like this in order for
> people to fix mistakes like you just described.

Not necessarily. People could also be required to go back and replay
all changes.

Regards,
Martin

Home - News ( United States | United Kingdom | Italy | Germany ) - Football scores

Showing content from https://mail.python.org/pipermail/python-dev/2009-September/091610.html below:

[Python-Dev] Mercurial migration: help needed