diff options
| author | Aleksandr Nogikh <nogikh@google.com> | 2023-03-07 16:07:35 +0100 |
|---|---|---|
| committer | Aleksandr Nogikh <wp32pw@gmail.com> | 2023-03-07 16:22:43 +0100 |
| commit | 1f8570eb2de6051a733d86ece8d127099fa25992 (patch) | |
| tree | 97dbf1260f0678b06614b40ff23dd3370d8c1cbd /executor/common_ext_example.h | |
| parent | 6b272a2ced094b793e9f88c8c42fab67838873f8 (diff) | |
dashboard: support obsolete KernelRepo entries
There are cases when a previously fuzzed tree was obsoleted and can no
longer be polled for commits. At the same time, we still want to display
short repo aliases in bug reportings and on the dashboard.
Diffstat (limited to 'executor/common_ext_example.h')
0 files changed, 0 insertions, 0 deletions