Mirror this repo on Sourcehut and GitLab/Framagit, in a way that enables contributions at these places if possible

[1peter10]

[petrisch]

What is the goal? You want a mirrored repo in those that are up to date everytime you push?
Or should they pull from github every like 5h or so?

Kind of both described here:
https://mdleom.com/blog/2020/04/21/gitlab-github-mirror/

[1peter10]

Thanks, I'll read that :)