[devhelp] flatpak: use git.gnome.org URL

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

commit f7171972a5a9eff09f40c09633b2ad7c938e01d5
Author: Sébastien Wilmet <swilmet gnome org>
Date:   Wed Mar 29 11:23:24 2017 +0200

    flatpak: use git.gnome.org URL
    
    The github URL is not the official one.

 data/org.gnome.Devhelp.json |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/data/org.gnome.Devhelp.json b/data/org.gnome.Devhelp.json
index d8fc6c6..6b9fa3b 100644
--- a/data/org.gnome.Devhelp.json
+++ b/data/org.gnome.Devhelp.json
@@ -34,7 +34,7 @@
             "sources": [
                 {
                     "type": "git",
-                    "url": "https://github.com/GNOME/devhelp.git";,
+                    "url": "git://git.gnome.org/devhelp",
                     "branch": "master"
                 }
             ]