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 <mmarkus(a)redhat.com> 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
infinispan-dev(a)lists.jboss.org
https://lists.jboss.org/mailman/listinfo/infinispan-dev
--
Galder Zamarreño
galder(a)redhat.com
twitter.com/galderz
Project Lead, Escalante
http://escalante.io
Engineer, Infinispan
http://infinispan.org