summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2019-11-20 11:35:53 +0100
committerErich Eckner <git@eckner.net>2019-11-20 11:35:53 +0100
commitb694eaeb2bcc27d2e81d3698ce2c44dca508a9f4 (patch)
treefaee1124cc4300f2fe11f44570b14d7643065e1e
parenta94e43d722330bb17789f7ba8537a7cb9f6d50d2 (diff)
downloadbuilder-b694eaeb2bcc27d2e81d3698ce2c44dca508a9f4.tar.xz
bin/change-git-remotes: do not operate on . if git_dir is empty (because the repo does not exist locally)
-rwxr-xr-xbin/change-git-remotes3
1 files changed, 3 insertions, 0 deletions
diff --git a/bin/change-git-remotes b/bin/change-git-remotes
index c7f0bcb..bc8e3f2 100755
--- a/bin/change-git-remotes
+++ b/bin/change-git-remotes
@@ -25,6 +25,9 @@ fi
printf '%s\n' "releng ${releng_directory}"
} \
| while read -r git_name git_dir; do
+ if [ -z "${git_dir}" ]; then
+ continue
+ fi
if ! remotes=$(
git -C "${git_dir}" remote 2>/dev/null
); then