Stupid repository to test if GitHub removes a contribution in the user graph when We delete a commit.