bin/get-package-updates: do not delete already deleted packages again - builder

diff options

author	Erich Eckner <git@eckner.net>	2024-08-28 20:29:39 +0200
committer	Erich Eckner <git@eckner.net>	2024-08-28 20:29:39 +0200
commit	06d3fb3ea3b0f34b00b4775eef0e8bdf6bed8793 (patch)
tree	edc99239ecbb1d949e659aeab33c49524862a3d5 /bin/get-assignment
parent	13fc48eb6d0093d27e92cd28a15302ce4c5a4fb9 (diff)

bin/get-package-updates: do not delete already deleted packages again

* this just makes get-package-updates slow * it should not be necessary to delete them (again)

Diffstat (limited to 'bin/get-assignment')

0 files changed, 0 insertions, 0 deletions