[gnome-online-miners] Replace git.gnome.org by Gitlab URL in <GitRepository> in DOAP file

[Andre Klapper <aklapper src gnome org>]

commit 0c02cd79f120cde50e8cdf36e96f9b86fb878016
Author: Andre Klapper <a9016009 gmx de>
Date:   Sun Dec 16 00:59:41 2018 +0100

    Replace git.gnome.org by Gitlab URL in <GitRepository> in DOAP file

 gnome-online-miners.doap | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)
---
diff --git a/gnome-online-miners.doap b/gnome-online-miners.doap
index 06e9ef8..bca38b2 100644
--- a/gnome-online-miners.doap
+++ b/gnome-online-miners.doap
@@ -26,8 +26,8 @@
 
   <repository>
     <GitRepository>
-      <location rdf:resource="git://git.gnome.org/gnome-online-miners" />
-      <browse rdf:resource="https://git.gnome.org/browse/gnome-online-miners/"; />
+      <location rdf:resource="https://gitlab.gnome.org/GNOME/gnome-online-miners.git"; />
+      <browse rdf:resource="https://gitlab.gnome.org/GNOME/gnome-online-miners"; />
     </GitRepository>
   </repository>