diff options
| author | Erich Eckner <git@eckner.net> | 2017-11-10 19:33:19 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2017-11-10 19:33:19 +0100 |
| commit | 2e472da8d2aeb92666f74d12ccf06b830ececcf1 (patch) | |
| tree | 5d301695fa09903a1a4bb37478d25c4b8df01996 | |
| parent | e742af9752656f0954d9236fdc5c66492b476c18 (diff) | |
| download | builder-2e472da8d2aeb92666f74d12ccf06b830ececcf1.tar.xz | |
bin/get-package-updates: add TODO
| -rwxr-xr-x | bin/get-package-updates | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/bin/get-package-updates b/bin/get-package-updates index 350bc29..d5dfed6 100755 --- a/bin/get-package-updates +++ b/bin/get-package-updates @@ -254,6 +254,9 @@ while read -r package git_revision mod_git_revision repository; do done < "${work_dir}/build-list.new" +# TODO: Add "emergency break" if all / too many packages are getting on +# the deletion-list + echo 'apply blacklisting' # ignore blacklisted packages and dependent packages # this is the first time when all the information is available and up to date |