mirror

A public pull mirror which can be used to create personal branches on the SDF Gogs/Gitea instance, by following the "GitHub fork and pull request" workflow. Contact marco@sdf.org to become a member or to request an additional repository to be mirrored.