Yes, it happens multiple times.
Thank you for this hint. I guess, the default firewall restrictions are the reason for this. I found the key hint inside the log …
fatal: unable to access ‘GitHub - discourse/discourse: A platform for community discussion. Free, open, simple. · GitHub’: Could not resolve host: github.com