Hello, I’ve created the ‘guix_mirror_bot’ account on Savannah and added it to the ‘guix’ group.
On Sunday, once the repo has migrated, I’ll set up SSH-based mirroring on Codeberg so that it pushes to Savannah as ‘guix_mirror_bot’: https://forgejo.org/docs/latest/user/repo-mirror/#mirror-via-ssh I’ll share the ‘guix_mirror_bot’ password with some of the sysadmins privately (I’m not sure how to better handle this). Ludo’.
