Rename Git remotes to new domain

rename_git_remote_new_domain.sh

for remote in $(git remote); do
  old_url=$(git remote get-url "$remote")
  new_url=${old_url//git.old.example.com/git.new.example.com}
  if [ "$old_url" != "$new_url" ]; then
    echo "$remote: $old_url -> $new_url"
    git remote set-url "$remote" "$new_url"
  else
    echo "$remote: $old_url (already OK)"
  fi
done
git remote -v