Hello! I’m happy to report that the Guix-Science and Guix-Science-Nonfree have been moved to Codeberg! https://codeberg.org/guix-science The two GitHub repositories are now archived, meaning that they’re read-only. To perform the migration, I had to first remove the mirrors that we had made at Codeberg and to start over with “New Migration” (thanks Romain for your guidance on our first test migration!). The repositories, issues, and pull requests (a couple of them still open) were migrated. It’s not entirely clear how to continue work on open pull requests (for example: ) but I guess we’ll figure it out. There are other repos at https://github.com/guix-science that we should migrate, but there’s no rush. If someone would like to get involved, I can give a hand if needed (it’s pretty easy actually, thumbs up to the Forgejo folks). Ludo’.