diff options
| author | Erich Eckner <git@eckner.net> | 2018-02-05 09:12:30 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-02-05 09:12:30 +0100 |
| commit | 85f10d9ce376f8c921abd6f0266d5da62bb7c791 (patch) | |
| tree | 28db3f24d98337bd6f9933c447e7ec65001f8c54 /bin/get-package-updates | |
| parent | ac8df27bd6c262f917207a1959f26dff74d52aa0 (diff) | |
| download | builder-85f10d9ce376f8c921abd6f0266d5da62bb7c791.tar.xz | |
bin/get-package-updates: clarify todo
Diffstat (limited to 'bin/get-package-updates')
| -rwxr-xr-x | bin/get-package-updates | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/bin/get-package-updates b/bin/get-package-updates index 1ad5ce4..ffbd390 100755 --- a/bin/get-package-updates +++ b/bin/get-package-updates @@ -86,8 +86,12 @@ if [ -s "${work_dir}/build-master-sanity" ]; then exit fi -# TODO: New deletion-list packages should be recorded in the database, -# too - including all binary information (especially dependencies!) +# TODO: How should new deletion-list packages be handled? +# - packages deleted upstream should be marked as to-be-deleted if +# existent and otherwise be ignored +# - packages deleted due to black listing should be marked as black +# listed - and thus as to-be-deleted, but they should remain in the +# database after deletion! # delete_package package # mark $package for deletion |