diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2017-06-03 14:04:16 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2017-06-03 14:04:16 +0200 |
| commit | b512286f25c7e23f9ac911f6ae864d6736c91a92 (patch) | |
| tree | 461465dfe49b2bb3a77312282d762962ea2f99d7 /executor | |
| parent | c6a6d0aceb21567125ed1db07bd060b477338108 (diff) | |
pkg/git: don't use --no-tags with clone
It's not supported in older versions of git.
Diffstat (limited to 'executor')
0 files changed, 0 insertions, 0 deletions