diff options
| author | Taras Madan <tarasmadan@google.com> | 2024-08-09 12:40:12 +0200 |
|---|---|---|
| committer | Taras Madan <tarasmadan@google.com> | 2024-08-09 11:01:02 +0000 |
| commit | a9e7e9e3a26f5e19a9d96c1a27717aa83e0bdbcd (patch) | |
| tree | f21fb2bb297551db2fc545c9fc5867a93bbfcba0 /executor/executor.cc | |
| parent | a83d9288459602ce6ab098f191eb2c7a923128c5 (diff) | |
covermerger: add web-git source provider
It allows to speed up the single file calculations because we don't need git clone.
Diffstat (limited to 'executor/executor.cc')
0 files changed, 0 insertions, 0 deletions