function updategh
set newremote (git remote get-url origin | sed "s#git@github.com:Crocmagnon#ssh://git@git.augendre.info:23730/gaugendre#"); and git remote set-url origin $newremote;
end