• Rultor.com, a merging bot for Github pull requests http://www.yegor256.com/2014/07/24/rultor-automated-merging.html 3 comments 6/11/2014 programming