[gnome-continuous] Rename projects on GitLab

[Emmanuele Bassi <ebassi src gnome org>]

commit 5ab9a115bfd98ea104f1619342aefa245d9656b2
Author: Emmanuele Bassi <ebassi gnome org>
Date:   Wed Feb 21 11:17:30 2018 +0000

    Rename projects on GitLab
    
    Keep the short name, to avoid the additional namespacing Continuous
    does when checking them out of Git.

 manifest.json |    5 ++++-
 1 files changed, 4 insertions(+), 1 deletions(-)
---
diff --git a/manifest.json b/manifest.json
index 71f4519..dd1632f 100644
--- a/manifest.json
+++ b/manifest.json
@@ -739,7 +739,8 @@
 
                {"src": "fd:sound-theme-freedesktop"},
 
-               {"src": "gnome-gitlab:GNOME/gnome-themes-extra.git"},
+               {"src": "gnome-gitlab:GNOME/gnome-themes-extra.git",
+                 "name": "gnome-themes-extra"},
 
                {"src": "gnome:adwaita-icon-theme"},
 
@@ -1279,6 +1280,7 @@
                 "component": "testing"},
 
                {"src": "gnome-gitlab:GNOME/gnome-tweaks.git",
+                 "name": "gnome-tweaks",
                  "config-opts": [
                      "-Denable-man=false"
                  ]},
@@ -1383,6 +1385,7 @@
                {"src": "gnome:tali"},
 
                {"src": "gnome-gitlab:GNOME/gnome-contacts.git",
+                 "name": "gnome-contacts",
                 "config-opts": ["-Dwith-manpage=false"]},
 
                 {"src": "tarball:http://ftp.gnu.org/gnu/libunistring/libunistring-0.9.8.tar.xz";,