Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2023-05-20 18:20:25 +0200
committerErich Eckner <git@eckner.net>2023-05-20 18:20:25 +0200
commit6e81d17c17d29a1d52fa4687ad099ac2658091dc (patch)
tree328b05f37013cbb09a581ca18df49946571854c5
parent23f06aa74b866afdb9f4725f321f5c6cc6d974da (diff)
update set of repositories
-rwxr-xr-xbin/get-package-updates2
-rwxr-xr-xlib/load-configuration4
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