projects / ostree.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 878d601) | patch
gitmodules: Use github GNOME mirror
authorColin Walters <walters@verbum.org>
Wed, 20 Sep 2023 11:58:44 +0000 (07:58 -0400)
committerColin Walters <walters@verbum.org>
Wed, 20 Sep 2023 11:58:44 +0000 (07:58 -0400)
commit01a847a2d1c86df57e3e21d11df103eb34cd465a
treecf149b995eefaabf4096f352824ffc0738a4baaftree | snapshot
parent878d601665fd15781adf774d99dd86e9a172cb92commit | diff
gitmodules: Use github GNOME mirror

gitlab.gnome.org is down right now, but it's been somewhat
flaky in the past.  Our CI uptime becomes an *intersection*
of all systems it depends on, and by cutting out gitlab.gnome.org
we increase its reliability.
.gitmodules diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.