diff options
Diffstat (limited to 'mr/mrconfig')
| -rw-r--r-- | mr/mrconfig | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/mr/mrconfig b/mr/mrconfig deleted file mode 100644 index a007de9..0000000 --- a/mr/mrconfig +++ /dev/null @@ -1,19 +0,0 @@ -[$HOME/dotfiles] -checkout = git clone 'git@urbainvaes.com:dotfiles.git' 'dotfiles' -update = git pull origin master -push = git push origin master - -[$HOME/gitolite] -checkout = git clone 'git@urbainvaes.com:gitolite-admin.git' 'gitolite' -update = git pull origin master -push = git push origin master - -[$HOME/personal] -checkout = git clone 'git@urbainvaes.com:private/personal.git' 'personal' -update = git pull origin master -push = git push origin master - -[$HOME/.password-store] -checkout = git clone 'git@urbainvaes.com:private/passwords.git' '.password-store' -update = git pull origin master -push = git push origin master |