This is awesome stuff! It should definitely shorten the time spent checking pull reqs.
Great work Mircea :) Cheers, On Apr 27, 2013, at 4:17 PM, Mircea Markus <[email protected]> wrote: > As you might have noticed the "GitHub integration" plugin has been set in CI. > Few words on how it works: > - whenever a pull request is made it triggers a build on the merge between > that pull request and the master. That should be the equivalent of a rebase, > so it's quite reliable for integration > - when you update the pull request the build is triggered again, based on the > new merge result > - when you update the master, as a result of the master updating, all the > pending pull requests are again merged and re-built. > > Ideally we should have a small number of pull request pending, in order to > reduce the number of re-builds. > > Cheers, > -- > Mircea Markus > Infinispan lead (www.infinispan.org) > > > > > > _______________________________________________ > infinispan-dev mailing list > [email protected] > https://lists.jboss.org/mailman/listinfo/infinispan-dev -- Galder Zamarreño [email protected] twitter.com/galderz Project Lead, Escalante http://escalante.io Engineer, Infinispan http://infinispan.org _______________________________________________ infinispan-dev mailing list [email protected] https://lists.jboss.org/mailman/listinfo/infinispan-dev
