migrate the geogit geoserver plugin to geogig