[sourcehut] chore(workboard): Setup mirroring CI for sr.ht
Originally from our sourcehut issue tracker, modified a bit for checkboxes.
We have a lot of git hosts we use for mirroring stuff, so maybe we should minimize that too, especially unused git hosts like Launchpad.
Chores
Note to squad members: Due to formatting limitations on sourcehut, checkboxes aren't supported for now. In meanwhile, use ~~
between tasks to cross it out.
-
Setup mirroring CI scripts for sr.ht through https://mau.dev/mirrors/cronjobs repo. -
Keep mau.dev, GH(see https://lists.sr.ht/~ajhalili2006/blog-posts/%3C21d1349c-f07d-2bcf-c194-e8e0f014e439%40gmail.com%3E#%3C264cc56d-143a-9043-e808-7d9a7f10eda4@gmail.com%3E for context) and GitLab SaaS mirrors up while depreciating other mirrors.