Have you thought about migrating or mirroring the code from github to codeberg?

Now let’s put that list on codeberg instead of github.