I downloaded the GitHub Desktop application and can connect my account, but doing pushes/pulls fails because of an unresolved host.
I was having an issue with proxy settings and github desktop, after looking for a solution to this problem , i found it can be solved with one of the following:
First: throw Git Shell:
So actually the solution was to type this command into the git shell.
git config --global http.proxy http://<proxy-ip>:<proxy-port>
Second : without using git shell :
- Set up/Sign in to your account in Github Desktop(This won’t be a problem, proxy only doesn’t allow you to Add, create or clone repo)
- Close Github Desktop for the time being(to set up proxy).
- Go to C:\Users@yourusername.
- There you will find a file named .gitconfig
Open it with any text editor(I have used sublime text 3) and add
git config --global http.proxy proxy_address:proxy_port git config --global https.proxy proxy_address:proxy_port //If username and password are not that much important then use: git config --global http.proxy username:password@proxy_address:proxy_port git config --global https.proxy username:password@proxy_address:proxy_port
- Now you can add, create and clone repos in Github Desktop.
That’s it for now.
hope this can help you , Let me know if you have any questions or comments.