monitoring-experiments transfered to roburio on github

This commit is contained in:
Hannes Mehnert 2022-01-27 12:18:23 +01:00
parent 1990e5762d
commit 71c81a4133

View file

@ -1,10 +1,10 @@
opam-version: "2.0"
maintainer: "Hannes Mehnert <hannes@mehnert.org>"
authors: ["Hannes Mehnert <hannes@mehnert.org>"]
homepage: "https://github.com/hannesm/monitoring-experiments"
doc: "https://hannesm.github.io/monitoring-experiments"
dev-repo: "git+https://github.com/hannesm/monitoring-experiments.git"
bug-reports: "https://github.com/mirage/monitoring-experiments/issues"
homepage: "https://github.com/roburio/monitoring-experiments"
doc: "https://roburio.github.io/monitoring-experiments"
dev-repo: "git+https://github.com/roburio/monitoring-experiments.git"
bug-reports: "https://github.com/roburio/monitoring-experiments/issues"
license: "AGPL"
depends: [
@ -31,5 +31,5 @@ description: """
bla bla
"""
url {
src: "git+https://github.com/hannesm/monitoring-experiments.git#future-310"
src: "git+https://github.com/roburio/monitoring-experiments.git"
}