Merge pull request #28440 from hannesm/align-git-kv-git-net-dev-repo

align dev-repo between git-kv and git-net. otherwise, opam-monorepo complains

Author: smorimoto

packages/git-net/git-net.0.2.0/opam

@@ -3,7 +3,7 @@ maintainer: "Robur Team <[email protected]>"
 authors: [ "Robur Team <[email protected]>" ]
 license: "MIT"
 homepage: "https://github.com/robur-coop/git-kv"
-dev-repo: "git+https://git.robur.coop/robur/git-kv.git"
+dev-repo: "git+https://github.com/robur-coop/git-kv"
 bug-reports: "https://github.com/robur-coop/git-kv/issues"
 synopsis: "A Mirage_kv implementation using git"