I must have been living under a rock, because I didn’t even know that codeberg existed. I’ve just created an account there, added my ssh key, and successfully pushed a project there. Will be migrating as much as possible (focusing on code that might actually be interesting to others) over the weekend. Thanks!