The GeoServer history before the one recorded in the main repo. For historical and statistical purposes. Mind, this repository is quite large. - View it on GitHub