From f949c87e4c741397b486f4470629a7ba9b7024af Mon Sep 17 00:00:00 2001 From: Hannes Mehnert Date: Sun, 22 May 2022 21:42:41 +0200 Subject: [PATCH] please dune-release --- mirage-monitoring.opam | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/mirage-monitoring.opam b/mirage-monitoring.opam index c6daf59..604fe0c 100644 --- a/mirage-monitoring.opam +++ b/mirage-monitoring.opam @@ -1,9 +1,9 @@ opam-version: "2.0" maintainer: "Robur " authors: ["Robur "] -homepage: "https://git.robur.io/robur/mirage-monitoring" +homepage: "https://github.com/roburio/mirage-monitoring" doc: "https://roburio.github.io/mirage-monitoring" -dev-repo: "git+https://git.robur.io/robur/mirage-monitoring.git" +dev-repo: "git+https://github.com/roburio/mirage-monitoring.git" bug-reports: "https://github.com/roburio/mirage-monitoring/issues" license: "AGPL-3.0-only"