Make 'pull #XYZ' trigger the other bot.