[infinispan-dev] TeamCity and automatic pull request build

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)