Re: [Geotools-devel] repository update

2015-11-18 Thread Ben Caradoc-Davies
Merged on both master and 14.x. Kind regards, Ben. On 18/11/15 19:55, Jody Garnett wrote: > Here is a pull request to change the headers back: > > https://github.com/geotools/geotools/pull/1050 > > Question for the list. We can have repo.boundlessgeo.com cache the osgeo > webdav repository (and c

Re: [Geotools-devel] repository update

2015-11-18 Thread Jody Garnett
Yep let us try that. On Wed, Nov 18, 2015 at 12:39 AM Andrea Aime wrote: > On Wed, Nov 18, 2015 at 7:55 AM, Jody Garnett > wrote: > >> Here is a pull request to change the headers back: >> >> https://github.com/geotools/geotools/pull/1050 >> >> Question for the list. We can have repo.boundlessge

Re: [Geotools-devel] repository update

2015-11-18 Thread Andrea Aime
On Wed, Nov 18, 2015 at 7:55 AM, Jody Garnett wrote: > Here is a pull request to change the headers back: > > https://github.com/geotools/geotools/pull/1050 > > Question for the list. We can have repo.boundlessgeo.com cache the osgeo > webdav repository (and comment another one of the repositorie

Re: [Geotools-devel] repository update

2015-11-17 Thread Jody Garnett
Here is a pull request to change the headers back: https://github.com/geotools/geotools/pull/1050 Question for the list. We can have repo.boundlessgeo.com cache the osgeo webdav repository (and comment another one of the repositories out of the root pom.xml). * Pros: Less repositories to check m

[Geotools-devel] repository update

2015-11-17 Thread Jody Garnett
Passing on the following message from Tom: Just an update on the repo front: > We’ve finished a migration to the permanent home of the new repo and now > have a dedicated host with DNS and SSL all properly configured. > Everyone should give it a shot and let us know if you have any issues: > http