diff options
author | Erich Eckner <git@eckner.net> | 2018-07-08 12:56:52 +0200 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2018-07-08 12:56:52 +0200 |
commit | 76143817202a2c641dc573225f908f4f1710e075 (patch) | |
tree | 13d140de93a69b886da11cd658d792fde094bfa0 | |
parent | ae6109a8acd9e981d69fe8a3a731e82b4e910b54 (diff) | |
download | builder-76143817202a2c641dc573225f908f4f1710e075.tar.xz |
lib/load-configuration: clone correct repository
-rwxr-xr-x | lib/load-configuration | 15 |
1 files changed, 10 insertions, 5 deletions
diff --git a/lib/load-configuration b/lib/load-configuration index 8c893fc..ef2bf8a 100755 --- a/lib/load-configuration +++ b/lib/load-configuration @@ -144,11 +144,16 @@ for repo in ${repo_names} 'releng'; do mkdir -p "${repo_path%/*}" if ! git -C "${repo_path}" rev-parse --git-dir > /dev/null 2>&1; then - if [ "${repo}" = "archlinux32" ]; then - repo_source='https://git.archlinux32.org/archlinux32/packages.git' - else - repo_source="git://git.archlinux.org/svntogit/${repo}.git" - fi + case "${repo}" in + 'archlinux32') + repo_source='https://git.archlinux32.org/archlinux32/packages.git' + ;; + 'releng') + repo_source='git://git.archlinux32.org:archlinux32/releng.git' + *) + repo_source="git://git.archlinux.org/svntogit/${repo}.git" + ;; + esac git clone --mirror "${repo_source}" "${repo_path}" fi |