Git robot, a tool to operate on Github.