jegardai
/
home_public
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Update git.ipr domain

This commit is contained in:
Jeremy Gardais 2023-11-09 15:14:09 +01:00
parent 9697ffb2bf
commit 1a3b89f162
Signed by: jegardai
GPG Key ID: E759BAA22501AF32
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
mrconfig
View File

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