diff options
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 |