Some weird commit comment was showign up (as if it had been submited by
someone else... I don't know what that is about)