summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorUrbain Vaes <urbain@vaes.uk>2016-10-09 22:58:17 +0100
committerUrbain Vaes <urbain@vaes.uk>2016-10-10 17:56:32 +0100
commitd8a7f039c1258557df3a24e35bd659c5c9aaedd8 (patch)
treebaae95a423d32f86db9ccf3e6a038197839e079e
parente8e89dabb1754582c4793eae329a479e30fdbb08 (diff)
[mr] Fix errors in configuration
-rw-r--r--mr/.mrconfig10
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