Failed to resolve address while pushing to remote

[Lord-Vlad]

This is my ssh config:

Host github-lordvlad
	HostName github.com
	User git

github-lordvlad does not get resolved to github.com.

[jorio]

Thank you for reporting this! This occurs because we use libssh2 (via libgit2) and it's not aware of OpenSSH's config file.

That said, libgit2 has gained support for OpenSSH recently, so switching to OpenSSH could solve this problem. However, this feature is not available in standard distributions of pygit2 yet, so I can't use it in GitFourchette just yet. I'm trying to contribute the first step toward this over here: https://github.com/libgit2/libgit2/pull/6993