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

Reproduce el fallo en gitui v0.11.0 en Ubuntu 18.04 con el alias de .ssh/config proporcionado y compáralo después con un git push exitoso desde la línea de comandos. Sigue el punto de entrada del push de gitui y verifica que hacer push mediante github.com-foo se resuelve a través del alias de SSH; se considera completado cuando el push tiene éxito sin el error «failed to resolve address».

Escrito por el modelo de indexación a partir del texto del issue.