From 1a3b89f162818c69791f53f4281b03c1a0c6c519 Mon Sep 17 00:00:00 2001
From: Gardouille <gardouille@gmail.com>
Date: Thu, 9 Nov 2023 15:14:09 +0100
Subject: [PATCH] Update git.ipr domain

---
 mrconfig | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/mrconfig b/mrconfig
index 6fa9661..97e404e 100644
--- a/mrconfig
+++ b/mrconfig
@@ -1,7 +1,7 @@
 # Ansible managed
 
 # For any permanent changes you must modify your own authorized_keys file under
-# https://git.ipr.univ-rennes1.fr/cellinfo/ipr.debops/src/master/ansible/resources/home/jegardai
+# https://git.ipr.univ-rennes.fr/cellinfo/ipr.debops/src/master/ansible/resources/home/jegardai
 
 [DEFAULT]
 git_gc = git gc "$@"
@@ -41,6 +41,6 @@ update = git pull 'https://git.101010.fr/gardouille-dotfiles/scripts.git'
 
 ### {{{ IPR repo
 [$HOME/repos/ipr.scripts]
-checkout = git clone 'https://git.ipr.univ-rennes1.fr/cellinfo/scripts.git' 'ipr.scripts'
+checkout = git clone 'https://git.ipr.univ-rennes.fr/cellinfo/scripts.git' 'ipr.scripts'
 
 ### }}}