Is GitHub a tech company? Because that's who they're criticising.