I am trying to Push some codes into GitHub's Repo, but after following PyCharm's Documentation to set the Remotes,Setting Directory to Repo, and setting the ssh executable to "Built-In" (on Version Control Settings), I got the following error:
dnb_api: ssh: Could not resolve hostname github.com: Name or service not known Could not read from remote repository. Please make sure you have the correct access rights and the repository exists.
the weird thing is: the repo actually exists and the link to connect is in SSH form: "git@github.com:user/repo.git"
It's important to note that I'm under a corporate proxy, but all proxy settings are properly configured (since I can install packages and connect with external APIs). Even the
'git config --global http.proxy <username>:<password>@proxy:port'
and
'git config --global https.proxy <username>:<password>@proxy:port'
where properly configured in the command line.
Do you have an idea how to figure that out?