Set up github on jenkins
Jenkins seems like an option too, but GitHub pull requests and pushes must be processed. For that, I need to set it up in a machine accessible from the Internet.
(from redmine: created on 2015-05-21, closed on 2015-05-25, copied_to #7000 (closed))