There used to be a PostGIS source tree on gitea.com but it was dismissed as a [CodeMirrors mirror] of the [CodeRepository official repository] in April 2023.