Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
Revert recent style cleanup changes #1236
It seems to be fairly unanimous that the style cleanup PR was a bad idea, especially so late in 3.7, so we'll revert it and re-add it for 3.8, subject to a little more discussion. In the meantime, get thee gone!
Note that this means the 3,000 line changeset will appear three times in the history - original merge, reversion, and reinstatement (if we decide we want it in the end). Sorry, but that's just how the cookie crumbles. Rebasing history in a public repo is a can of worms I'm not gonna open right now.