GitHub fetch/pull エラー

Could not resolve hostname

リゾルバが正引きできませんでした的なエラー。
ずっと接続できていて、いきなりこのエラーが発生した、という場合は一時的なネットワークエラーとか、使用しているDNSサーバが死んでいるとか、そのあたり。
ワークアラウンドとしては、信頼できるパブリックDNSに一時的に変更するとか、ですかね。

以下はSourceTree使用時に表示されたエラー例

git --no-optional-locks -c color.branch=false -c color.diff=false -c color.status=false -c diff.mnemonicprefix=false -c core.quotepath=false -c credential.helper=sourcetree fetch --prune origin 
ssh: Could not resolve hostname github.com: nodename nor servname provided, or not known
fatal: Could not read from remote repository.

Please make sure you have the correct access rights
and the repository exists.
Completed with errors, see above