diff options
Diffstat (limited to 'mr/mrconfig')
| -rw-r--r-- | mr/mrconfig | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/mr/mrconfig b/mr/mrconfig index 541a614..a007de9 100644 --- a/mr/mrconfig +++ b/mr/mrconfig @@ -8,11 +8,6 @@ checkout = git clone 'git@urbainvaes.com:gitolite-admin.git' 'gitolite' update = git pull origin master push = git push origin master -[$HOME/ledger] -checkout = git clone 'git@urbainvaes.com:private/ledger.git' 'ledger' -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 |