Not to mention that the timing of GitHub embracing the name change made it an oftly convenient distraction from all of the bad press they were getting about the

Not to mention that the timing of GitHub embracing the name change made it an oftly convenient distraction from all of the bad press they were getting about their contract with the Customs and Border Patrol. Who wouldn't hop on that positive PR bandwagon in their position? /s