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' ### }}}