From 22da980482f9ed4fa256bfb4a0b9fd310a5eb8a4 Mon Sep 17 00:00:00 2001
From: Hannes Mehnert <hannes@mehnert.org>
Date: Fri, 4 Nov 2022 10:24:58 +0100
Subject: [PATCH] git-kv is released now, no need for the pin anymore

---
 mirage/config.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/mirage/config.ml b/mirage/config.ml
index 9510aa6..7849647 100644
--- a/mirage/config.ml
+++ b/mirage/config.ml
@@ -79,7 +79,7 @@ let mirror =
       package "h2" ;
       package "hex" ;
       package "httpaf" ;
-      package ~pin:"git+https://git.robur.io/robur/git-kv.git#main" "git-kv" ;
+      package "git-kv" ;
       package ~min:"3.10.0" "git-paf" ;
       package "opam-file-format" ;
       package ~min:"2.2.0" ~sublibs:[ "gz" ] "tar" ;