diff options
| author | Erich Eckner <git@eckner.net> | 2017-08-29 15:23:42 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2017-08-29 15:23:42 +0200 |
| commit | dffc1da80e2a020c413839b1f38e12b21e885006 (patch) | |
| tree | def240f642ca1254480178fd55ba4e8186bcac92 | |
| parent | c9042888420196641eff9c566a9b2db2d18fd5d3 (diff) | |
| download | builder-dffc1da80e2a020c413839b1f38e12b21e885006.tar.xz | |
bin/get-assignment: remove done #TODO
| -rwxr-xr-x | bin/get-assignment | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/bin/get-assignment b/bin/get-assignment index 670dfdc..6aefa39 100755 --- a/bin/get-assignment +++ b/bin/get-assignment @@ -13,10 +13,6 @@ # 4: come back, when you've done your work - you hit the limit on # maximum allowed parallel jobs per ip -# TODO: - -# respect build-manually-list ("blocked") - # shellcheck source=conf/default.conf . "${0%/*}/../conf/default.conf" |