diff options
| author | Erich Eckner <git@eckner.net> | 2018-02-01 14:27:08 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-02-01 14:27:08 +0100 |
| commit | 94d523412cc6818c6e898f0213ec00695c404836 (patch) | |
| tree | 5939b4f83a0fd6adbec4302835fbf19ade68552f /bin/prioritize-build-list | |
| parent | 95c2ffe83ed58a13272df53acc5023d547be0c6d (diff) | |
| download | builder-94d523412cc6818c6e898f0213ec00695c404836.tar.xz | |
bin/return-assignment: reset priority when getting back a successful build assignment
Diffstat (limited to 'bin/prioritize-build-list')
0 files changed, 0 insertions, 0 deletions