dotfiles/.local/bin/scripts/git-repo

#!/bin/sh
# Translate different repo notations into ssh
# Usage:
#  git repo <url>
#  git repo <host> <repo> [user]
case "$1" in
  (http*)
    if expr "$1" : ".*:" >/dev/null
    then echo "${1%/}" | sed "s|.*//\([^/]*\)/\(.*\)|git@\1:\2.git|"
         exit
    else http=$1 && shift
    fi;;
  (git:*|ssh:*)
    echo "$1"
    exit;;
esac
host=$1
case $host in
  (socha) user=software-challenge; host=git@github.com;;
  (hub|github) host=git@github.com;;
  (lab) host=git@gitlab.com;;
  (jf)  host=gitea@git.jfischer.org;;
  (ftt|"") host=git@code.ftt.gmbh; user=janek;;
esac
user=${3:-${user:-$(git config user.name)}}
repo=${2:-$(basename $(git root))}
if test "$http"
then echo "$http://${host#git*@}/$user/$repo.git"
else echo "$host:$user/$repo.git"
fi