diff options
| author | Erich Eckner <git@eckner.net> | 2017-10-25 15:13:41 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2017-10-25 15:13:41 +0200 |
| commit | 3827c59bbde84916828e3f6c70ff3e6ccbe2ea6d (patch) | |
| tree | 78e2abf396be589a18f6794d484ee35a25d15a4a /bin/db-update | |
| parent | 90ded985513483e123ad5b836e4307d1a0a4e090 (diff) | |
| download | builder-3827c59bbde84916828e3f6c70ff3e6ccbe2ea6d.tar.xz | |
bin/db-update: clean up TODOs
Diffstat (limited to 'bin/db-update')
| -rwxr-xr-x | bin/db-update | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/bin/db-update b/bin/db-update index 2c8772f..de9157d 100755 --- a/bin/db-update +++ b/bin/db-update @@ -8,16 +8,11 @@ # a) nothing on the build-list run-depends on A and # b) no done package B which is not being moved run-depends on A -# TODO: correctly handle if multiple versions of a single package are marked -# as "done" or "testing" # TODO: be (even?) more atomic # TODO: separate locks for staging, testing (and stable) -# TODO: correctly handle if a package moved from community to official or -# vice versa (delete residues) - # TODO: mark a package as tested if it shall be stabilized but # can't due to pending dependent packages |