diff options
| author |  Berthold Stoeger <bstoeger@mail.tuwien.ac.at> | 2018-01-12 23:58:33 +0100 |
|---|---|---|
| committer |  Dirk Hohndel <dirk@hohndel.org> | 2018-01-19 09:45:08 +0200 |
| commit | cec642b4d21c55cdddbb57067565f69ca080bf1e (patch) | |
| tree | b1c3136bc45ade2c32f81b50fc0eaa23daec5533 /core/save-git.c | |
| parent | 0b0eacce30fb945e97383405bec61fea5ca84afc (diff) | |
| download | subsurface-cec642b4d21c55cdddbb57067565f69ca080bf1e.tar.gz | |
Create local cache and push to remote for any remote repository
This used to be done only for cloud repositories.
Signed-off-by: Berthold Stoeger <bstoeger@mail.tuwien.ac.at>
Diffstat (limited to 'core/save-git.c')
0 files changed, 0 insertions, 0 deletions