>> 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 _______________________________________________ Python-Dev mailing list Python-Dev@python.org http://mail.python.org/mailman/listinfo/python-dev Unsubscribe: http://mail.python.org/mailman/options/python-dev/archive%40mail-archive.com
