Whoever didn’t remove their code from Github when Microsoft bought them in 2018, you have a new reason now.