From 15db88325bef7a417d7497c5111ef63765b314db Mon Sep 17 00:00:00 2001
From: Hannes Mehnert <hannes@mehnert.org>
Date: Tue, 4 May 2021 13:47:47 +0200
Subject: [PATCH] orb home is now at roburio

---
 packages/orb.0.0.1/opam | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/packages/orb.0.0.1/opam b/packages/orb.0.0.1/opam
index 5728dc5..6e9abb5 100644
--- a/packages/orb.0.0.1/opam
+++ b/packages/orb.0.0.1/opam
@@ -22,5 +22,5 @@ build: [
 ]
 dev-repo: "git+https://github.com/rjbou/orb.git"
 url {
-  src: "git+https://github.com/hannesm/orb.git#next"
+  src: "git+https://github.com/roburio/orb.git#next"
 }