diff options
| author | Erich Eckner <git@eckner.net> | 2018-02-01 14:26:10 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-02-01 14:26:10 +0100 |
| commit | 95c2ffe83ed58a13272df53acc5023d547be0c6d (patch) | |
| tree | c30ea115d01b877a11001d7fead9039a954f4bac /bin/prioritize-build-list | |
| parent | a03d072cc472de7d2707b97079335d17025bd475 (diff) | |
| download | builder-95c2ffe83ed58a13272df53acc5023d547be0c6d.tar.xz | |
bin/get-assignment: reset priority when handing out a build assignment
Diffstat (limited to 'bin/prioritize-build-list')
0 files changed, 0 insertions, 0 deletions