[gnome-continuous] Add new gnome-gitlab prefix

[Emmanuele Bassi <ebassi src gnome org>]

commit 85294d9cb08c0ef175a89fb027736561b0f51f38
Author: Emmanuele Bassi <ebassi gnome org>
Date:   Tue Jun 27 13:57:45 2017 +0100

    Add new gnome-gitlab prefix
    
    Some GNOME projects are moving to the new GitLab instance, so we need a
    handy prefix to avoid copy-pasting the same URL everywhere.

 manifest.json |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)
---
diff --git a/manifest.json b/manifest.json
index 928b6ef..1a533c0 100644
--- a/manifest.json
+++ b/manifest.json
@@ -13,6 +13,7 @@
   "config-opts": ["--disable-static", "--disable-silent-rules"],
 
   "vcsconfig": {"gnome": "git:git://git.gnome.org/",
+                "gnome-gitlab": "https://gitlab.gnome.org/";,
                 "fd": "git:git://anongit.freedesktop.org/git/",
                 "fd-dbus": "git:git://anongit.freedesktop.org/git/dbus/",
                 "fd-NM": "git:git://anongit.freedesktop.org/git/NetworkManager/",