diff options
author | Urbain Vaes <urbain@vaes.uk> | 2016-03-09 22:44:04 +0000 |
---|---|---|
committer | Urbain Vaes <urbain@vaes.uk> | 2016-03-09 22:44:04 +0000 |
commit | b6fb5964dfb979bae92fe5a933866ddcc7d71c0f (patch) | |
tree | 2523f0e83b840846ef275f6049a530cca6b84589 /.mr | |
parent | 810035ab675fbf35a79bb9b1f23619ad696e9183 (diff) |
Add repos to mr
Diffstat (limited to '.mr')
-rw-r--r-- | .mr/mrconfig | 14 |
1 files changed, 12 insertions, 2 deletions
diff --git a/.mr/mrconfig b/.mr/mrconfig index a2f1b40..a8a24bd 100644 --- a/.mr/mrconfig +++ b/.mr/mrconfig @@ -3,8 +3,13 @@ checkout = git clone 'git@urbainvaes.com:dotfiles.git' 'dotfiles' update = git pull origin master push = git push origin master -[/home/urbain/dotfiles/.personal] -checkout = git clone 'git@urbainvaes.com:private/personal.git' '.personal' +[/home/urbain/dotfiles/.gitolite] +checkout = git clone 'git@urbainvaes.com:gitolite-admin.git' '.gitolite' +update = git pull origin master +push = git push origin master + +[/home/urbain/dotfiles/.ledger] +checkout = git clone 'git@urbainvaes.com:private/ledger.git' '.ledger' update = git pull origin master push = git push origin master @@ -13,6 +18,11 @@ checkout = git clone 'git@urbainvaes.com:private/passwords.git' '.passwords' update = git pull origin master push = git push origin master +[/home/urbain/dotfiles/.personal] +checkout = git clone 'git@urbainvaes.com:private/personal.git' '.personal' +update = git pull origin master +push = git push origin master + [/home/urbain/dotfiles/.vim/vim-plug] checkout = git clone 'https://github.com/junegunn/vim-plug' 'vim-plug' skip = [ "$1" = push ] |