diff options
| author | Aleksandr Nogikh <nogikh@google.com> | 2023-05-17 21:01:15 +0200 |
|---|---|---|
| committer | Aleksandr Nogikh <wp32pw@gmail.com> | 2023-05-19 16:46:22 +0200 |
| commit | 9668920024926d5a21c38fbc0d15d403d7c732ac (patch) | |
| tree | e6fd5d6f4c6e029545326dd9d3cd8ca0adeb17f8 /executor/test.h | |
| parent | d9f26cb2393432ec6ef29c3e5e891d33d26b38fa (diff) | |
dashboard: add a method to reassign HeadReproLevel
There have been a few issues with HeadReproLevel consistency. Add a
maintenance method that can be used to correct error in the database.
Diffstat (limited to 'executor/test.h')
0 files changed, 0 insertions, 0 deletions