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 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'bin/get-package-updates')

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
-- 
cgit v1.2.3-70-g09d2