[devhelp] Move to GitLab: update Flatpak manifest for devhelp git repo

[Sébastien Wilmet <swilmet src gnome org>]

commit 5acd59df46bac962582ed9dbc503d31005c64fa2
Author: Sébastien Wilmet <swilmet gnome org>
Date:   Wed May 23 13:01:35 2018 +0200

    Move to GitLab: update Flatpak manifest for devhelp git repo

 flatpak/org.gnome.Devhelp.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/flatpak/org.gnome.Devhelp.yml b/flatpak/org.gnome.Devhelp.yml
index 4589793d..c9e40c61 100644
--- a/flatpak/org.gnome.Devhelp.yml
+++ b/flatpak/org.gnome.Devhelp.yml
@@ -52,5 +52,5 @@ modules:
     config-opts: [ "-Dflatpak_build=true" ]
     sources:
       - type: git
-        url: git://git.gnome.org/devhelp
+        url: https://gitlab.gnome.org/GNOME/devhelp.git
         branch: master