Breaking news: Microsoft follows up its GitHub buyout by forcing tabs instead of spaces for all new repos.