incubator-crunch-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From Matthias Friedrich <>
Subject Re: Build failed in Jenkins: Crunch-master-integration #3
Date Thu, 09 Aug 2012 17:34:15 GMT
On Thursday, 2012-08-09, Josh Wills wrote:
> What are the consequences of Jenkins being able to push to the main
> repo? All else being equal, I prefer the quick feedback.
Since we didn't activate any publishing option in the config, it most
probably won't push anything. I don't have production experience with
the Git plugin though, so I'm a bit cautious.

Feel free to switch to the main repo and set polling to something like
"*/10 * * * *" if you want quicker feedback.

Really quick feedback would require triggering Jenkins from a Git
post-commit hook. But let's stay with polling for now, it's less error
prone and easier to set up.


View raw message