diff options
| author | Erich Eckner <git@eckner.net> | 2017-03-19 14:36:17 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2017-03-19 14:36:17 +0100 |
| commit | 1e9eff62b3b490935f61ecceda1a601821d0336d (patch) | |
| tree | e82af5d50a8a728fef109096ce980862c54409c7 | |
| parent | 9fe0d43d3c3ff88d3c29d9ef5394fe715628605a (diff) | |
| download | builder-1e9eff62b3b490935f61ecceda1a601821d0336d.tar.xz | |
bin/get-package-updates add TODO comment
| -rwxr-xr-x | bin/get-package-updates | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/bin/get-package-updates b/bin/get-package-updates index 9004b31..e43535a 100755 --- a/bin/get-package-updates +++ b/bin/get-package-updates @@ -57,6 +57,9 @@ done # If a package is deleted, remove from the rebuild list, and add it to the deletion list. # If a new package is added, then ensure that it's not on the deletion list. +# TODO: +# ignore packages from the blacklist + for repo in "${!repo_paths[@]}"; do current_HEAD="$( git -C "${repo_paths["${repo}"]}" rev-parse HEAD |