Dear IntelliJ community,
I just stumbled upon a limitation of the GitHub plugin: it does not recognize SSH host aliases.
I have 2 SSH host aliases in my ~/.ssh/config file. Both point to hostname github.com, but they use different SSH keys - one is linked to my personal account, and the other one to my professional account. E.g, I might have something like this:
This way, if I clone a repository with URL email@example.com:org/repo.git, I have access to my employer's private repositories; and with firstname.lastname@example.org:user/repo.git, I have access to my private repositories instead.
Unfortunately, this breaks GitHub integration in IntelliJ IDEA, since it seems to rely upon the remote's URL being in the form email@example.com:org/repo.git - meaning that when I clone a repository with one of the above defined aliases, I don't get the "Pull Requests" tool window, but it appears correctly when I clone the repository with the firstname.lastname@example.org URL instead.
Would it be feasible for the GitHub integration to recognize such use of SSH aliases? I believe this could be used to auto-detect which GitHub account to use, when applicable.