From 6e81d17c17d29a1d52fa4687ad099ac2658091dc Mon Sep 17 00:00:00 2001
From: Erich Eckner <git@eckner.net>
Date: Sat, 20 May 2023 18:20:25 +0200
Subject: update set of repositories

---
 bin/get-package-updates | 2 +-
 lib/load-configuration  | 4 +---
 2 files changed, 2 insertions(+), 4 deletions(-)

diff --git a/bin/get-package-updates b/bin/get-package-updates
index 8e7e4ef..93e88da 100755
--- a/bin/get-package-updates
+++ b/bin/get-package-updates
@@ -186,7 +186,7 @@ something_new=false
 
 for repo in ${repo_names}; do
   eval repo_path='"${repo_paths__'"${repo}"'}"'
-  # Update git repositories (official packages, community packages and the repository of package customizations).
+  # Update git repositories (upstream state and our package customizations).
   if [ -d "${repo_path}/.git" ]; then
     git -C "${repo_path}" pull --ff-only
   else
diff --git a/lib/load-configuration b/lib/load-configuration
index 903d65f..478e78a 100755
--- a/lib/load-configuration
+++ b/lib/load-configuration
@@ -73,9 +73,7 @@ fi
 if ${i_am_the_master}; then
   releng_directory="${work_dir}/repos/releng"
 else
-  repo_names='packages community archlinux32'
-  repo_paths__packages="${work_dir}/repos/packages"
-  repo_paths__community="${work_dir}/repos/community"
+  repo_names='archlinux32'
   repo_paths__archlinux32="${work_dir}/repos/packages32"
 fi
 
-- 
cgit v1.2.3-54-g00ecf