GitHub’s mascot (Hubot)