#1303: Avoid each container to do a pull/push per second to master git repo. Instead we use a shared zookeeper counter, which is updated when master git repo changes, so containers is triggered that way instead (on demand).
#1303: Added option so you can turn off this and use the old behavior with pull before push.