diff options
| author | Urbain Vaes <urbain@vaes.uk> | 2016-09-21 22:35:23 +0100 |
|---|---|---|
| committer | Urbain Vaes <urbain@vaes.uk> | 2016-09-21 22:35:23 +0100 |
| commit | af828606c1d53aa8f9e0c1b82a0d4a2d66dce370 (patch) | |
| tree | 197903f7c29cbcc70c2f6996eb03b4c3e16dc61e /mr | |
| parent | 0da3d56ca20efe17f3b01b03fbe514e222b62661 (diff) | |
[mr] Add thesis repository
Diffstat (limited to 'mr')
| -rw-r--r-- | mr/.mrconfig | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/mr/.mrconfig b/mr/.mrconfig index ab0a1eb..2c185e9 100644 --- a/mr/.mrconfig +++ b/mr/.mrconfig @@ -13,6 +13,11 @@ 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 |