GitHub still hates tabs