On Sat, Apr 11, 2015 at 4:10 AM, Aaron Burrow wrote:
> If we're going to fix a bunch of formatting problems we should make
> sure the problem doesn't resurface. Put a commit hook on the git
> server that either validates formatting or does auto-formatting.
>
It's a really awkward thing to sugge
> Well, it would be identified as such, so you just go to the commit
> before that.
> In the end, this is a very weak argument. If you change the style
> early enough, the succeeding history will be fine.
And when you go to the previous commit, you discover that it was
another style change and you
If we're going to fix a bunch of formatting problems we should make
sure the problem doesn't resurface. Put a commit hook on the git
server that either validates formatting or does auto-formatting.
On Fri, Apr 10, 2015 at 2:40 PM, Daniel Martí wrote:
> On Fri, Apr 10, 2015 at 18:15:25 +0200, FRI
