Qual é a maneira recomendada de recuperar o host e o repositório do git URL?

Question

Pense em um utilitário como gerrit-sh que usa as opções de configuração do git para determinar onde o host gerrit está localizado. O contexto para minha pergunta é esta função get_repo_remote_config () . Então eu quero recuperar o repositório e mais importante o nome do host do URL git configurado em .git/config .

O método assume que você tenha seu nome de usuário, host, porta e repo dentro da sua configuração do git. Que ignora que você pode usar aliases ssh.

O que é uma maneira recomendada para

1. diga ao host e repo para um URL git
2. obtenha o URL antialiased com base no URL do git, que pode conter aliases de SSH

Para (1), posso pensar em dividir o primeiro : ou / com alguma mágica adicional.

Para (2), eu poderia pensar em algo como esta questão: awk .

Ambas as abordagens funcionariam, mas não há uma maneira mais conveniente de fazer isso? Não há um utilitário para algum cálculo de SSH / URL?

Obrigado antecipadamente.