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 /dashboard/app/app_test.go | |
| 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 'dashboard/app/app_test.go')
| -rw-r--r-- | dashboard/app/app_test.go | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/dashboard/app/app_test.go b/dashboard/app/app_test.go index cd14f9d32..f772ceab7 100644 --- a/dashboard/app/app_test.go +++ b/dashboard/app/app_test.go @@ -82,6 +82,12 @@ var testConfig = &GlobalConfig{ Maintainers: []string{"maintainers@repo10.org", "bugs@repo10.org"}, }, }, + { + URL: "git://github.com/google/syzkaller", + Branch: "old_master", + Alias: "repo10alias", + Obsolete: true, + }, }, Managers: map[string]ConfigManager{ "special-obsoleting": { |