[jhbuild] gnome-suites-core-3.28: Update gnome-shell-extensions

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

commit 00f10958e53c31c042f60530cb90461b3f12cbbd
Author: Florian Müllner <fmuellner gnome org>
Date:   Tue Nov 28 11:33:08 2017 +0100

    gnome-suites-core-3.28: Update gnome-shell-extensions
    
    The module moved to gitlab.gnome.org now ...

 modulesets/gnome-suites-core-3.28.modules |    4 +++-
 1 files changed, 3 insertions(+), 1 deletions(-)
---
diff --git a/modulesets/gnome-suites-core-3.28.modules b/modulesets/gnome-suites-core-3.28.modules
index f6318f1..bea3344 100644
--- a/modulesets/gnome-suites-core-3.28.modules
+++ b/modulesets/gnome-suites-core-3.28.modules
@@ -7,6 +7,8 @@
 <!-- git repos -->
   <repository type="git" name="git.gnome.org" default="yes"
       href="https://git.gnome.org/browse/"/>
+  <repository type="git" name="gitlab.gnome.org"
+      href="https://gitlab.gnome.org/"/>
   <repository type="git" name="git.freedesktop.org"
       href="https://anongit.freedesktop.org/git/"/>
   <repository type="git" name="github.com"
@@ -382,7 +384,7 @@
   </meson>
 
   <autotools id="gnome-shell-extensions" autogenargs="--enable-extensions=classic-mode">
-    <branch/>
+    <branch repo="gitlab.gnome.org" checkoutdir="gnome-shell-extensions" 
module="GNOME/gnome-shell-extensions.git"/>
     <dependencies>
       <dep package="gnome-shell"/>
       <dep package="gnome-menus"/>