[gnome-shell-extensions] build: Update repo URL in metadata

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

commit c6ecf2c0dfbf3282365648836b882b7996367709
Author: Florian Müllner <fmuellner gnome org>
Date:   Wed Nov 29 20:18:43 2017 +0100

    build: Update repo URL in metadata

 include.mk | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/include.mk b/include.mk
index 0407a51..3ab665f 100644
--- a/include.mk
+++ b/include.mk
@@ -1,4 +1,4 @@
-extensionurl = http://git.gnome.org/gnome-shell-extensions
+extensionurl = https://gitlab.gnome.org/GNOME/gnome-shell-extensions
 
 # Change these to modify how installation is performed
 topextensiondir = $(datadir)/gnome-shell/extensions