Martin v. Löwis schrieb: >> 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 > > I would find that unfortunate. It's a fairly irrelevant change, yet > it may manage to corrupt the history (hg blame).
I'm for a per-changeset check as well. In the common case, the client will have the "required" extension, and errors will be caught there. Georg -- Thus spake the Lord: Thou shalt indent with four spaces. No more, no less. Four shall be the number of spaces thou shalt indent, and the number of thy indenting shall be four. Eight shalt thou not indent, nor either indent thou two, excepting that thou then proceed to four. Tabs are right out. _______________________________________________ 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
