The official repo (https://git.osgeo.org/gitea/geos/php-geos)
has been failing git clone during GitHub Actions recently.
Using the GitHub mirror will reduce the load we are putting
on OSGeo's self-hosted servers too.