diff options
author | Erich Eckner <git@eckner.net> | 2020-02-13 11:10:41 +0100 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2020-02-13 11:13:22 +0100 |
commit | 47c8a23cf8e71b44adcddddba6bba2ae32c33726 (patch) | |
tree | 729d86314f04f006d52f27ffa2ce1a3f6ca1dfe8 /conf/.gitignore | |
parent | 68df3b54a3335f6639dc269f879b60d13cd14cbc (diff) | |
download | builder-47c8a23cf8e71b44adcddddba6bba2ae32c33726.tar.xz |
bin/get-package-updates: do not delete build assignment just because *one* package built by it is on the deletion-list - remove the deletion-list package and keep the build-assignment in that case
Diffstat (limited to 'conf/.gitignore')
0 files changed, 0 insertions, 0 deletions