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