diff options
author | Erich Eckner <git@eckner.net> | 2019-11-20 11:35:53 +0100 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2019-11-20 11:35:53 +0100 |
commit | b694eaeb2bcc27d2e81d3698ce2c44dca508a9f4 (patch) | |
tree | faee1124cc4300f2fe11f44570b14d7643065e1e /bin | |
parent | a94e43d722330bb17789f7ba8537a7cb9f6d50d2 (diff) | |
download | builder-b694eaeb2bcc27d2e81d3698ce2c44dca508a9f4.tar.xz |
bin/change-git-remotes: do not operate on . if git_dir is empty (because the repo does not exist locally)
Diffstat (limited to 'bin')
-rwxr-xr-x | bin/change-git-remotes | 3 |
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 |