[gnome-continuous] Remove anonscm.debian.org remote

[Emmanuele Bassi <ebassi src gnome org>]

commit 2558a9de4ccacff88dc670ce717d5dc4d335a224
Author: Emmanuele Bassi <ebassi gnome org>
Date:   Thu Jun 7 17:24:42 2018 +0100

    Remove anonscm.debian.org remote
    
    Debian moved everything over to their GitLab instance at
    salsa.debian.org, so we need to change our manifest.

 manifest.json | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)
---
diff --git a/manifest.json b/manifest.json
index aad844e..5614b29 100644
--- a/manifest.json
+++ b/manifest.json
@@ -35,7 +35,6 @@
                 "linuxwacom": "git:https://git.code.sf.net/p/linuxwacom/";,
                 "fedora": "git:git://git.fedorahosted.org/",
                 "savannah": "git:git://git.savannah.gnu.org/",
-                "debian": "git:git://anonscm.debian.org/",
                "netfilter": "git:git://git.netfilter.org/",
                 "lighttpd": "git:git://git.lighttpd.net/",
                 "ipxe": "git:git://git.ipxe.org/",
@@ -437,7 +436,7 @@
                {"src": "netfilter:iptables.git",
                 "tag": "3e6fa55d5e28c93f417afeae7a7d4f349ddffcf4"},
 
-               {"src": "debian:pkg-dhcp/isc-dhcp.git",
+               {"src": "git:https://salsa.debian.org/berni/isc-dhcp.git";,
                 "name": "isc-dhcp",
                 "tag": "upstream/4.2.2",
                 "patches": ["isc-dhcp-autogen.patch",