Three things GitHub did to de-bro the design of its coders’ space