What's the deal with tab size (8 spaces) in the GitHub UI?
At least most people are agreeing on using tabs, as opposed to putting spaces in and trying to hardcode their preference.<p>If we use tabs, then we can just have whatever tab stop we personally want, and nobody else is the wiser.