#!/bin/bash

# Script to update git remote domain to git.polymech.info
# This script updates the origin remote URL from git.polymech.io to git.polymech.info

echo "Updating git remote domain to git.polymech.info..."

# Get current remote URL
current_url=$(git remote get-url origin)
echo "Current remote URL: $current_url"

# Replace git.polymech.io with git.polymech.info
new_url=$(echo "$current_url" | sed 's/git\.polymech\.io/git.polymech.info/g')
echo "New remote URL: $new_url"

# Update the remote URL
git remote set-url origin "$new_url"

# Verify the change
updated_url=$(git remote get-url origin)
echo "Updated remote URL: $updated_url"

# Test connectivity
echo "Testing connectivity to new remote..."
if git ls-remote origin > /dev/null 2>&1; then
    echo "✅ Successfully connected to new remote!"
else
    echo "❌ Warning: Could not connect to new remote. Please check the URL and your network connection."
fi

echo "Git remote update completed!"