diff options
| author | Erich Eckner <git@eckner.net> | 2018-02-13 13:30:54 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-02-13 13:30:54 +0100 |
| commit | ab55e44e1917556c453850add1fd1bb32ad0bb1f (patch) | |
| tree | a0f7598803f35a413b393e653c79054a3e2e938d | |
| parent | 1c172d7c63a5594c33d4f9408857fe56eddf2694 (diff) | |
| download | builder-ab55e44e1917556c453850add1fd1bb32ad0bb1f.tar.xz | |
bin/db-update: remove unneccessary TODO
| -rwxr-xr-x | bin/db-update | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/bin/db-update b/bin/db-update index 83b3370..e5ea193 100755 --- a/bin/db-update +++ b/bin/db-update @@ -18,9 +18,6 @@ # TODO: read information from database -# TODO: check if package is to be replaced in target repository -# - this needs some special care in the database. - # shellcheck disable=SC2039 # shellcheck source=conf/default.conf . "${0%/*}/../conf/default.conf" |