diff options
author | Leah Rowe <leah@libreboot.org> | 2023-10-20 10:39:37 +0100 |
---|---|---|
committer | Leah Rowe <leah@libreboot.org> | 2023-10-20 10:39:37 +0100 |
commit | ac442808eee6f0468ce55bf4797e671c74d58206 (patch) | |
tree | d1fbf56b137c8509ee5ec17a5eea7df2585a6f41 | |
parent | 759800523f5473231b70280bd6375ca3ebcc4968 (diff) |
config/git: add more backup repos
the grub backup was the same gnu server
i decided to host grub on codeberg, as backup
(gnu links as primary is ok)
Signed-off-by: Leah Rowe <leah@libreboot.org>
-rw-r--r-- | config/git/bios_extract | 1 | ||||
-rw-r--r-- | config/git/grub | 5 |
2 files changed, 4 insertions, 2 deletions
diff --git a/config/git/bios_extract b/config/git/bios_extract index 9eca273d..2b313e83 100644 --- a/config/git/bios_extract +++ b/config/git/bios_extract @@ -2,4 +2,5 @@ rev: 0a7bc1d71735ef97b00dfec0fd54a02fcc5d1bb0 loc: bios_extract url: https://review.coreboot.org/bios_extract + bkup_url: https://github.com/coreboot/bios_extract/ } diff --git a/config/git/grub b/config/git/grub index dc237a04..c34c27b4 100644 --- a/config/git/grub +++ b/config/git/grub @@ -2,12 +2,13 @@ rev: e58b870ff926415e23fc386af41ff81b2f588763 loc: grub url: git://git.savannah.gnu.org/grub.git - bkup_url: http://git.savannah.gnu.org/r/grub.git + bkup_url: https://codeberg.org/libreboot/grub depend: gnulib } {gnulib}{ rev: 9f48fb992a3d7e96610c4ce8be969cff2d61a01b loc: grub/gnulib - url: git://git.sv.gnu.org/gnulib + url: git://git.sv.gnu.org/gnulib + bkup_url: https://codeberg.org/libreboot/gnulib } |