From 13d349ca280acaf63289f30889964b51029570fc Mon Sep 17 00:00:00 2001
From: Erich Eckner <git@eckner.net>
Date: Mon, 7 Oct 2019 09:51:19 +0200
Subject: bin/change-git-remotes: do not skip identical url - it might have
 worked

---
 bin/change-git-remotes | 3 ---
 1 file changed, 3 deletions(-)

(limited to 'bin/change-git-remotes')

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} \
-- 
cgit v1.2.3-70-g09d2