Volker Braun <vbraun.n...@gmail.com> writes: > On Sunday, November 25, 2012 7:30:21 PM UTC, Keshav Kini wrote: > > Yup. (The latter would of course be better.) But it would be on > everyone's local sage install, not on trac or in the release > management > scripts :) > > > Well it better be a hook in the local repo, its very annoying to > commit and then have the patchbot complain a few days later.
Travis was suggesting that the release management scripts actually fix the whitespace serverside during the process of releasing a new version of Sage, not just have the patchbot complain about it. I'm just saying that it needs to be done at the source of the commit, not in post-processing. -Keshav -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To post to this group, send email to sage-devel@googlegroups.com. To unsubscribe from this group, send email to sage-devel+unsubscr...@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel?hl=en.
