diff options
| author | Erich Eckner <git@eckner.net> | 2019-10-07 09:51:19 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2019-10-07 09:51:19 +0200 |
| commit | 13d349ca280acaf63289f30889964b51029570fc (patch) | |
| tree | a0a04894bfbcf00a68e3f869d3ae122804eea0a8 | |
| parent | bd0aaace1cc2e37ca8bc9d7aa352b23bca7aece9 (diff) | |
| download | builder-13d349ca280acaf63289f30889964b51029570fc.tar.xz | |
bin/change-git-remotes: do not skip identical url - it might have worked
| -rwxr-xr-x | bin/change-git-remotes | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/bin/change-git-remotes b/bin/change-git-remotes index 4eabb38..6b48c45 100755 --- a/bin/change-git-remotes +++ b/bin/change-git-remotes @@ -70,9 +70,6 @@ fi fi printf '%s\n' "${new_urls}" \ | while read -r new_url; do - if [ "${new_url}" = "${url}" ]; then - continue - fi git -C "${git_dir}" remote set-url origin "${new_url}" if git -C "${git_dir}" fetch >/dev/null 2>&1; then ${quiet} \ |