diff options
| author | Urbain Vaes <urbain@vaes.uk> | 2016-10-09 22:58:17 +0100 |
|---|---|---|
| committer | Urbain Vaes <urbain@vaes.uk> | 2016-10-10 17:56:32 +0100 |
| commit | d8a7f039c1258557df3a24e35bd659c5c9aaedd8 (patch) | |
| tree | baae95a423d32f86db9ccf3e6a038197839e079e /mr | |
| parent | e8e89dabb1754582c4793eae329a479e30fdbb08 (diff) | |
[mr] Fix errors in configuration
Diffstat (limited to 'mr')
| -rw-r--r-- | mr/.mrconfig | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/mr/.mrconfig b/mr/.mrconfig index 44ef5f4..73b38d3 100644 --- a/mr/.mrconfig +++ b/mr/.mrconfig @@ -1,24 +1,24 @@ [$HOME/dotfiles] -checkout = git clone 'gitolite@urbainvaes.com:dotfiles.git' +checkout = git clone 'gitolite@urbainvaes.com:dotfiles.git' dotfiles update = git pull origin master push = git push origin master [$HOME/gitolite] -checkout = git clone 'gitolite@urbainvaes.com:gitolite-admin.git' +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 'gitolite@urbainvaes.com:private/personal.git' +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 'gitolite@urbainvaes.com:private/passwords.git' +checkout = git clone 'gitolite@urbainvaes.com:private/passwords.git' .password-store update = git pull origin master push = git push origin master [$HOME/phd] -checkout = git clone 'gitolite@urbainvaes.com:phd.git' +checkout = git clone 'gitolite@urbainvaes.com:phd/base.git' phd update = git pull origin master push = git push origin master |