Git push problem

[John Ralls]

Code is having problems pushing to Github:

remote: *** Mirror changes to origin (usually github)...
remote: ssh: Could not resolve hostname github.com: Name or service not known
remote: fatal: Could not read from remote repository.
remote:
remote: Please make sure you have the correct access rights
remote: and the repository exists.
To ssh://code.gnucash.org/gnucash
   af29a5ff9f..cb8777a69a  stable -> stable

So if you try to push and get a conflict back, git pull —rebase upstream and try again.

Regards,
John Ralls