diff options
| author | Urbain Vaes <urbain@vaes.uk> | 2019-09-16 09:54:15 +0100 |
|---|---|---|
| committer | Urbain Vaes <urbain@vaes.uk> | 2019-09-16 09:54:15 +0100 |
| commit | 0903ba6bafcb4014801d02a649ac435ce08fe03b (patch) | |
| tree | 2583bad6786f91d4d32acd2336e8d5b563bd37f6 | |
| parent | cd726a169fc12359b750f5eabf73e8c6c556691a (diff) | |
| parent | 8f0909eba903ca02b7cb0586b247eea92bc3956a (diff) | |
Merge branch 'master' of git.vaes.uk:public/dotfiles
| -rw-r--r-- | mr/.mrconfig | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/mr/.mrconfig b/mr/.mrconfig index 33406e6..384abc3 100644 --- a/mr/.mrconfig +++ b/mr/.mrconfig @@ -1,24 +1,24 @@ [$HOME/dotfiles] -checkout = git clone 'gitolite@urbainvaes.com:dotfiles.git' dotfiles +checkout = git clone 'gitolite@vaes.uk:dotfiles.git' dotfiles update = git pull origin master push = git push origin master [$HOME/gitolite] -checkout = git clone 'gitolite@urbainvaes.com:gitolite-admin.git' gitolite +checkout = git clone 'gitolite@vaes.uk:gitolite-admin.git' gitolite update = git pull origin master push = git push origin master [$HOME/personal] -checkout = git clone 'gitolite@urbainvaes.com:private/personal.git' personal +checkout = git clone 'gitolite@vaes.uk:private/personal.git' personal update = git pull origin master push = git saveandsync [$HOME/.password-store] -checkout = git clone 'gitolite@urbainvaes.com:private/passwords.git' .password-store +checkout = git clone 'gitolite@vaes.uk:private/passwords.git' .password-store update = git pull origin master push = git push origin master [$HOME/phd] -checkout = git clone 'gitolite@urbainvaes.com:phd/base.git' phd +checkout = git clone 'gitolite@vaes.uk:phd/base.git' phd update = git pull origin master push = git push origin master |