Cannot push with an ssh alias - failed to resolve address

Hi,

Thank you so much for gitui.
I cannot push from gitui, always getting the error -

[ERROR] push error: git error:failed to resolve address for github.com-foo: Name or service not known; class=Net (12)

But git push works fine from the cmdline.
I have in my .ssh/config the alias -

Host github.com-foo
HostName github.com

Is there a way around this ?

I am using version gitui v0.11.0 on Ubuntu 18.04

thx,
-m

Reproduisez l’échec dans gitui v0.11.0 sur Ubuntu 18.04 avec l’alias .ssh/config fourni, puis comparez-le à un git push réussi en ligne de commande. Suivez le point d’entrée du push de gitui et vérifiez qu’un push via github.com-foo est résolu par l’intermédiaire de l’alias SSH ; c’est terminé lorsque le push réussit sans l’erreur « failed to resolve address ».

Rédigé par le modèle d'indexation à partir du texte de l'issue.