diff options
| author | Aleksandr Nogikh <nogikh@google.com> | 2023-04-28 15:32:19 +0200 |
|---|---|---|
| committer | Aleksandr Nogikh <wp32pw@gmail.com> | 2023-04-28 15:40:58 +0200 |
| commit | 62df2017e3b1edd786a4c737bd4ccba2b4581d88 (patch) | |
| tree | d309eb267c71f74e53d1a1f8d0c4de47320be0c6 /executor/android | |
| parent | 80365ff31e13ba44fc0c5f39e38707d543ce9d8c (diff) | |
dashboard: allow duplicate tree origin labels
It's okay if several kernel repos specify the same labels. Only check
that a single label is not used for different things.
Diffstat (limited to 'executor/android')
0 files changed, 0 insertions, 0 deletions