Small script to change a Git repo remote URL easily

remren_git.sh

# use : remren_git <ssh-url>

if [ "x$1" != "x" ]
    then
        git remote rename origin old-origin;
        git remote add origin $1;
        git push -u origin --all;
    else echo "No arguments";
fi