diff options
| author | Leah Rowe <leah@libreboot.org> | 2023-10-20 10:31:10 +0100 |
|---|---|---|
| committer | Leah Rowe <leah@libreboot.org> | 2023-10-20 10:31:10 +0100 |
| commit | 759800523f5473231b70280bd6375ca3ebcc4968 (patch) | |
| tree | 901b436d307e94856334f523dd86ce2d9309911f /config/git/pico-sdk | |
| parent | bf4ea8102ad71bf07e0014c71579b7f3576c1dec (diff) | |
git/config: don't use github on main repos
it's ok for now to use it as a backup.
where only github was specified, i mirrored each
given repository to codeberg as main repo for lbmk.
Signed-off-by: Leah Rowe <leah@libreboot.org>
Diffstat (limited to 'config/git/pico-sdk')
| -rw-r--r-- | config/git/pico-sdk | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/config/git/pico-sdk b/config/git/pico-sdk index 98842e22..076a8e01 100644 --- a/config/git/pico-sdk +++ b/config/git/pico-sdk @@ -1,5 +1,6 @@ {pico-sdk}{ rev: 6a7db34ff63345a7badec79ebea3aaef1712f374 loc: pico-sdk - url: https://github.com/raspberrypi/pico-sdk + url: https://codeberg.org/libreboot/pico-sdk + bkup_url: https://github.com/raspberrypi/pico-sdk } |