[infinispan-dev] TeamCity and automatic pull request build

[Mircea Markus]

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)