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:
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