| commit | a28803eebaf7af313b35384e8dc36e22892a185f | [log] [tgz] |
|---|---|---|
| author | Philipp Wollermann <philwo@google.com> | Tue Apr 10 14:40:23 2018 +0200 |
| committer | Philipp Wollermann <philwo@google.com> | Tue Apr 10 14:40:23 2018 +0200 |
| tree | f95f17690263f9b34635c17fb952cb878fb646a4 | |
| parent | e580c1333e50a15757963a3c741df26294597ce0 [diff] |
Fix a bug in gitsync, where it would fail if a cloned repo already exists on disk