github/hubot-scripts — pull request #784 by maletor (2013-02-25 22:13:59+00:00)
Title: Tap into github merge api

Useful to do merges via hubot