We have a pipeline that is building a docker container for PHP 7.1, as part of that we are trying to install the geos lib. That has worked for months, today we started getting a 500 error on the following file:
https://git.osgeo.org/gitea/geos/php-geos/archive/71b5f9001512e16d3cf4657b517e8a051d6ef36f.tar.gz
Could you suggest how I could further debug this, or raise it with the appropriate team? This is a major release blocker for us.
Edit: Looks like the whole site is down - getting a list of repos returns 500