Is it OK/possible to add this plugin to Jenkins: https://wiki.jenkins-ci.org/display/JENKINS/HTTP+Request+Plugin
With it a person could, if they wanted, set the Inria Jenkins to monitor some smalltalk mc repo urls and then trigger a github hook which would start travis-ci building a Configuration across several platforms. If you look at this repo: https://github.com/pdebruic/ConfigurationOfSeaside3 It contains the minimum needed to have Travis-CI build Seaside on Squeak, Pharo (1.4 & 2) , and Gemstone. To trigger the build you can either push a git commit to github or send a POST github as described here: http://developer.github.com/v3/repos/hooks/#test-a-push-hook I'd prefer to send a POST because it seems easier than coordinating a git push from the Inria CI. If its not possible to add that then I can just get a VPS for $1/month and run my own jenkins on it. But this technique may be generally useful. Thanks Paul
