juju/jenkins-github-lander — pull request #14 by bz2 (2014-07-03 17:00:29+00:00)
Title: Support requeuing proposals after a merge failure

Look for reports that the merge failed when seeing if a pull request is
mergeable, and obey merge directives following it. The previous scheme
required all users to be admins to remove the 'merge request accepted'
messages from the bot to get it to retry.