Making GitHub Better.. With Robots