Re: [Geoserver-devel] Removed Git polling doc exclusion on geoserver-master Jenkins job

2016-07-27 Thread Ben Caradoc-Davies
Looks like this worked. On 28/07/16 15:49, Ben Caradoc-Davies wrote: > Jody, > > I removed the doc exclusion for Git polling on the geoserver-master > Jenkins job. Something appears to be horribly wrong with it. The > symptoms are that polling *always* detects changes, so there is always a >

[Geoserver-devel] Removed Git polling doc exclusion on geoserver-master Jenkins job

2016-07-27 Thread Ben Caradoc-Davies
Jody, I removed the doc exclusion for Git polling on the geoserver-master Jenkins job. Something appears to be horribly wrong with it. The symptoms are that polling *always* detects changes, so there is always a geoserver-master in the queue. Hopefully this will stop the flood of unnecessary