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
