diff options
| author | Urbain Vaes <urbain@vaes.uk> | 2019-09-16 10:37:08 +0100 |
|---|---|---|
| committer | Urbain Vaes <urbain@vaes.uk> | 2019-09-16 10:37:08 +0100 |
| commit | 26e194507ab0fd4590383f59a3ad106d352bb97a (patch) | |
| tree | 05470a21e08c4f29d5fd9113afe51536a8ad4d42 /mr/.mrconfig | |
| parent | 0903ba6bafcb4014801d02a649ac435ce08fe03b (diff) | |
Add mrconfig for postdoc folder
Diffstat (limited to 'mr/.mrconfig')
| -rw-r--r-- | mr/.mrconfig | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/mr/.mrconfig b/mr/.mrconfig index 384abc3..d83da3f 100644 --- a/mr/.mrconfig +++ b/mr/.mrconfig @@ -22,3 +22,8 @@ push = git push origin master checkout = git clone 'gitolite@vaes.uk:phd/base.git' phd update = git pull origin master push = git push origin master + +[$HOME/postdoc] +checkout = git clone 'gitolite@vaes.uk:postdoc/base.git' postdoc +update = git pull origin master +push = git push origin master |