diff options
| author | Taras Madan <tarasmadan@google.com> | 2024-10-04 13:49:44 +0200 |
|---|---|---|
| committer | Taras Madan <tarasmadan@google.com> | 2024-10-25 10:51:51 +0000 |
| commit | 42f646aa79d6f4f3913e0e3222cad641c9cfad0d (patch) | |
| tree | b1fd16eb94b31ba9ce87a1d1d231d3f1168cd232 /executor/executor_linux.h | |
| parent | ff48e69b372d34899f7372260cacc783daebd070 (diff) | |
dashboard/app: make WebGitURIProvider configurable
We don't want to scale the github repo usage.
Let's eventually switch to the internal service.
Diffstat (limited to 'executor/executor_linux.h')
0 files changed, 0 insertions, 0 deletions