Change remote url of repository for username change

change_remote.sh

#!/bin/sh

[ $# -eq 0 ] && echo "Usage $0 REPOSITORY ..." && exit 1

for repo in $@; do
    if [ ! -d $repo ] || [ ! -d $repo/.git ]; then
        echo "$repo: Is not a repository"
        continue
    fi

    cd $repo
    origin_url=`git remote get-url origin`
    if [ $? -ne 0 ]; then
        echo "$repo: No remote named origin"
        cd ..
        continue
    fi

    url=`echo $origin_url | sed 's/HappyTramp/cacharle/'`
    echo "$repo: Changing remote url to: $url"
    git remote set-url origin $url
    cd ..
done