diff options
| author | Urbain Vaes <urbain@vaes.uk> | 2021-12-05 17:42:34 +0100 |
|---|---|---|
| committer | Urbain Vaes <urbain@vaes.uk> | 2021-12-05 17:42:34 +0100 |
| commit | 19cdfb7a8b522136317f2de0f2f901572ebee066 (patch) | |
| tree | e685df2fcf64915172b6ff1aa1b271812a599505 /mr/.mrconfig | |
| parent | a9a52155abd26fc9b9d7043d9a062a9a7fcb99db (diff) | |
Adjust font size
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 d83da3f..35efe3e 100644 --- a/mr/.mrconfig +++ b/mr/.mrconfig @@ -27,3 +27,8 @@ push = git push origin master checkout = git clone 'gitolite@vaes.uk:postdoc/base.git' postdoc update = git pull origin master push = git push origin master + +[$HOME/work] +checkout = git clone 'gitolite@vaes.uk:work/base.git' work +update = git pull origin master +push = git push origin master |