On Thursday, 2012-08-09, Josh Wills wrote: > On Thu, Aug 9, 2012 at 9:13 AM, Matthias Friedrich <[email protected]> wrote: [...] >> @Josh: Is there any reason why we're using the github mirror and for >> this particular polling strategy? > Nope, I think when I was setting it up, it was the first one that, > like, worked. :)
Ah, ok :) Maybe it's a good thing to read from a mirror, this way Jenkins can't push to our main repo. It just takes a little bit longer to get feedback. Regards, Matthias
