diff options
| author | Urbain Vaes <urbain@vaes.uk> | 2016-10-07 12:24:12 +0100 |
|---|---|---|
| committer | Urbain Vaes <urbain@vaes.uk> | 2016-10-07 12:24:12 +0100 |
| commit | 82bbd033fc6999cbb282127d893cf377af4ff0f0 (patch) | |
| tree | cc9b5ca1cb1552f35367b5f000192f0a57ad2fd7 /mr/.mrconfig | |
| parent | 2d7e16716afa4b43405ddabb8625b918b6224ede (diff) | |
[mr] Update config
Diffstat (limited to 'mr/.mrconfig')
| -rw-r--r-- | mr/.mrconfig | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/mr/.mrconfig b/mr/.mrconfig index 2c185e9..44ef5f4 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@urbainvaes.com:dotfiles.git' 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@urbainvaes.com:gitolite-admin.git' 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@urbainvaes.com:private/personal.git' update = git pull origin master push = git push origin master -[$HOME/thesis] -checkout = git clone 'gitolite@urbainvaes.com:private/thesis.git' 'thesis' +[$HOME/.password-store] +checkout = git clone 'gitolite@urbainvaes.com:private/passwords.git' update = git pull origin master push = git push origin master -[$HOME/.password-store] -checkout = git clone 'gitolite@urbainvaes.com:private/passwords.git' '.password-store' +[$HOME/phd] +checkout = git clone 'gitolite@urbainvaes.com:phd.git' update = git pull origin master push = git push origin master |