This is just embarrassing for them, especially whoever is in charge of pull requests.