He even asked them to force-push a new history because they got the name wrong!
Mistakes happen, I guess this hurts his 'commits in a public repo' cv score.