Mirrors for git.savannah.gnu.org?

Guix
1

Yesterday, git.savannah.gnu.org was down due to a ddos. I had just completed a fresh install of guix as a system and could not guix pull because it could not be reached.

Any mirrors that can be used in these cases or do fresh installs just have to deal with it?

1 Like
Speeding up downloads: Faster or alternative download sources for installation (and pull)
2

I can suggest that you define your own channels.scm. For example,

;;;; ~/.config/guix/channels.scm
;;;; https://guix.gnu.org/cookbook/en/html_node/Channels.html
;;;; https://gitlab.inria.fr/guix-hpc/website/-/blob/master/channels.scm
3

You can try the officially managed Codeberg mirror.

4

To add context: Migrating to Codeberg — 2025 — Blog — GNU Guix

1 Like
5

I just tried to migrate from savannah to codeberg but I was not able to find out what the correct introduction would be. With disabled authentication it worked fine.
Can someone give me a hint, how the correct entry in channels.scm should look like for codeberg?

Thanks!

6 
 (channel
        (name 'guix)
        (url "https://git.guix.gnu.org/guix.git")
        (branch "master")
        (introduction
          (make-channel-introduction
            "9edb3f66fd807b096b48283debdcddccfea34bad"
            (openpgp-fingerprint
              "BBB0 2DDF 2CEA F6A8 0D1D  E643 A2A0 6DF2 A33A 54FA"))))

source: Making sure you're not a bot!

3 Likes
7

Thanks for the hint. Just changing the url to “https://codeberg.org/guix/guix.git” worked.