Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2019-10-07 09:51:19 +0200
committerErich Eckner <git@eckner.net>2019-10-07 09:51:19 +0200
commit13d349ca280acaf63289f30889964b51029570fc (patch)
treea0a04894bfbcf00a68e3f869d3ae122804eea0a8
parentbd0aaace1cc2e37ca8bc9d7aa352b23bca7aece9 (diff)
bin/change-git-remotes: do not skip identical url - it might have worked
-rwxr-xr-xbin/change-git-remotes3
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} \