diff options
| author | Urbain Vaes <urbain@vaes.uk> | 2016-05-01 20:20:39 +0100 |
|---|---|---|
| committer | Urbain Vaes <urbain@vaes.uk> | 2016-05-01 20:20:39 +0100 |
| commit | 3633f41a5044c6e1cef4feac7885c934897be6f1 (patch) | |
| tree | 41f44e370bed07e0eb526d0d3a86f1a135c5d39f /mr/mrconfig | |
| parent | bc990a764568fb773e1f85cef395b0391d2b982d (diff) | |
Fix mr config
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 |