[gnome-continuous] Use gitlab for gnome-shell-extensions

[Florian Müllner <fmuellner src gnome org>]

commit e0951dea58d144f77c762357066ca3b94feb90d3
Author: Florian Müllner <fmuellner gnome org>
Date:   Sat Nov 25 00:59:08 2017 +0100

    Use gitlab for gnome-shell-extensions

 manifest.json |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/manifest.json b/manifest.json
index d00c3f4..ac17180 100644
--- a/manifest.json
+++ b/manifest.json
@@ -1132,7 +1132,7 @@
                 "config-opts": ["--enable-compile-warnings=maximum",
                                  "--disable-man"]},
 
-               {"src": "gnome:gnome-shell-extensions",
+               {"src": "gnome-gitlab:GNOME/gnome-shell-extensions.git",
                 "config-opts": ["--enable-extensions=classic-mode"]},
 
                 {"src": "git:https://gitlab.com/dogtail/dogtail.git";,