diff options
| author | Urbain Vaes <urbain@vaes.uk> | 2016-09-08 21:16:19 +0100 |
|---|---|---|
| committer | Urbain Vaes <urbain@vaes.uk> | 2016-09-08 21:16:19 +0100 |
| commit | a4648b8893159c40dcf9c2cd3fe3a7e792fff819 (patch) | |
| tree | b77ad41a1e355563de6e65a5aca1c4024f77d8d9 /mr | |
| parent | 71a953f8f659d7dab2918a9080ff069cac7d495a (diff) | |
| parent | aed8b6e0bca84363a9766c5355afe5ee4617a315 (diff) | |
Merge branch 'master' of vaes.uk:public/dotfiles
Diffstat (limited to 'mr')
| -rw-r--r-- | mr/.mrconfig | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/mr/.mrconfig b/mr/.mrconfig index a007de9..ab0a1eb 100644 --- a/mr/.mrconfig +++ b/mr/.mrconfig @@ -1,19 +1,19 @@ [$HOME/dotfiles] -checkout = git clone 'git@urbainvaes.com:dotfiles.git' 'dotfiles' +checkout = git clone 'gitolite@urbainvaes.com:dotfiles.git' 'dotfiles' update = git pull origin master push = git push origin master [$HOME/gitolite] -checkout = git clone 'git@urbainvaes.com:gitolite-admin.git' 'gitolite' +checkout = git clone 'gitolite@urbainvaes.com:gitolite-admin.git' 'gitolite' update = git pull origin master push = git push origin master [$HOME/personal] -checkout = git clone 'git@urbainvaes.com:private/personal.git' 'personal' +checkout = git clone 'gitolite@urbainvaes.com:private/personal.git' 'personal' update = git pull origin master push = git push origin master [$HOME/.password-store] -checkout = git clone 'git@urbainvaes.com:private/passwords.git' '.password-store' +checkout = git clone 'gitolite@urbainvaes.com:private/passwords.git' '.password-store' update = git pull origin master push = git push origin master |