Set up github on buildbot
Buildbot seems like an option, but GitHub pull requests and pushes must be processed. Let's try to do it.
(from redmine: created on 2015-05-21, closed on 2015-08-14, copied_to #7001 (closed))
Buildbot seems like an option, but GitHub pull requests and pushes must be processed. Let's try to do it.
(from redmine: created on 2015-05-21, closed on 2015-08-14, copied_to #7001 (closed))