From 244039512562c25ebae0436e417f4f8d2bb09162 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Reynir=20Bj=C3=B6rnsson?= <reynir@reynir.dk>
Date: Wed, 29 Aug 2018 07:47:58 +0200
Subject: [PATCH] Add dev-repo

Using git.data.coop !
---
 opam | 1 +
 1 file changed, 1 insertion(+)

diff --git a/opam b/opam
index cd5d455..48f47db 100644
--- a/opam
+++ b/opam
@@ -1,6 +1,7 @@
 opam-version: "1.2"
 maintainer: "Reynir Björnsson <reynir@reynir.dk>"
 authors: "Reynir Björnsson <reynir@reynir.dk>"
+dev-repo: "https://git.data.coop/reynir/reynir.opam.git"
 depends: [
   "user-setup"
   "merlin"