diff options
| author | Erich Eckner <git@eckner.net> | 2018-01-29 13:42:01 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-01-29 13:42:01 +0100 |
| commit | b2cf8dc8a879c626453879dc4d2f175d68dbfd2f (patch) | |
| tree | f670e3c01e6651d9f8d63ba0edbfaff7d4e98336 | |
| parent | 885ff8891a08146e02f3555a25739a535b9ccc23 (diff) | |
| download | builder-b2cf8dc8a879c626453879dc4d2f175d68dbfd2f.tar.xz | |
bin/get-package-updates: add todo
| -rwxr-xr-x | bin/get-package-updates | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/bin/get-package-updates b/bin/get-package-updates index ce3de0a..d8ecd64 100755 --- a/bin/get-package-updates +++ b/bin/get-package-updates @@ -84,6 +84,8 @@ if [ -s "${work_dir}/build-master-sanity" ]; then exit fi +# TODO: Should new deletion-list packages be recorded in the database, too? + # delete_package package # mark $package for deletion delete_package() { |