[$HOME/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 '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' 'personal'
update = git pull origin master
push = git push origin master

[$HOME/thesis]
checkout = git clone 'gitolite@urbainvaes.com:private/thesis.git' 'thesis'
update = git pull origin master
push = git push origin master

[$HOME/.password-store]
checkout = git clone 'gitolite@urbainvaes.com:private/passwords.git' '.password-store'
update = git pull origin master
push = git push origin master