From bd0aaace1cc2e37ca8bc9d7aa352b23bca7aece9 Mon Sep 17 00:00:00 2001
From: Erich Eckner <git@eckner.net>
Date: Mon, 7 Oct 2019 09:49:24 +0200
Subject: bin/change-git-remotes: remove duplicate line

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

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

diff --git a/bin/change-git-remotes b/bin/change-git-remotes
index bd031a4..4eabb38 100755
--- a/bin/change-git-remotes
+++ b/bin/change-git-remotes
@@ -74,7 +74,6 @@ fi
       continue
     fi
     git -C "${git_dir}" remote set-url origin "${new_url}"
-    git -C "${git_dir}" remote set-url origin "${new_url}"
     if git -C "${git_dir}" fetch >/dev/null 2>&1; then
       ${quiet} \
       || >&2 printf '"%s" (%s): remote changed: "%s" -> "%s".\n' \
-- 
cgit v1.2.3-70-g09d2