We should be able to use the GraphQL API to enumerate the git repositories owned by a user on sr.ht and then hand this list off to the git agent for mirroring.
It's a bit quiet in here.