it only took seven and a half years, but you can now set the tab width on github.com. pretty sure this means the last semi-defensible reason for using spaces is gone, and we can all finally recognise the inherent superiority of tabs t.co/z73EUkCfw2