diff options
| author | Åsmund Østvold <asmundo@gmail.com> | 2021-12-13T10·32+0100 |
|---|---|---|
| committer | Åsmund Østvold <asmundo@gmail.com> | 2021-12-14T08·28+0100 |
| commit | 6842e25f14a463d0f7e7ad7d9ebe700a7efabb7a (patch) | |
| tree | 7efd2951549080a8de6799e1e47520cb7f8c0852 /users/sterni/exercises | |
| parent | 0286d63df7fbb267a4dc00f682acb2e2425321b3 (diff) | |
feat(besadii): Make Gerrit label configurable r/3237
By default besadii will set the `Verified` label in Gerrit. This adds a config option to set a different label instead if desired. Co-authored-by: Vincent Ambo <mail@tazj.in> Change-Id: I254159e46994e01182987ed5e5e26e27c57f46ce
Diffstat (limited to 'users/sterni/exercises')
0 files changed, 0 insertions, 0 deletions