[gnome-build-meta/jjardon/mirror: 5/5] project.conf: Configure mirror for "ftp_gnu_org" alias

[Javier Jardón Cabezas <jjardon src gnome org>]

commit bfb42562be9a01a291903f5dc3513a52df12ee7a
Author: Javier Jardón <jjardon gnome org>
Date:   Wed Aug 15 00:16:35 2018 +0100

    project.conf: Configure mirror for "ftp_gnu_org" alias

 project.conf | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)
---
diff --git a/project.conf b/project.conf
index 9263473..4acb079 100644
--- a/project.conf
+++ b/project.conf
@@ -2,7 +2,7 @@
 name: gnome
 
 # The minimum base BuildStream format
-format-version: 8
+format-version: 11
 
 # Where elements are stored
 element-path: elements
@@ -43,7 +43,7 @@ aliases:
   gnome_downloads: https://download.gnome.org/sources/
   cairo_org: https://cairographics.org/
   downloads.sourceforge.net: https://downloads.sourceforge.net/
-  ftp_gnu_org: https://mirrors.kernel.org/gnu/
+  ftp_gnu_org: https://ftp.gnu.org/gnu/
   git_freedesktop_org: https://anongit.freedesktop.org/git/
   github_com: https://github.com/
   gitlab_com: https://gitlab.com/
@@ -59,6 +59,11 @@ aliases:
   tarballs_needing_help: https://people.gnome.org/~mcatanzaro/tarballs-needing-help/
   webkitgtk_org: https://webkitgtk.org/releases/
 
+mirrors:
+  - name: kernel_org
+    aliases:
+      ftp_gnu_org:
+      - https://mirrors.kernel.org/gnu/
 
 # Some overrides to the default sandbox execution environment
 #