A python tool to migrate catalog info between two GeoServers using REST - View it on GitHub