History of GeoServer before the move to GitHub