Had problems with Github on Codenvy where it wouldn't connect to the server. I had to force it to connect over https to fix the issue. See this page for instructions.
→ posted on August 4, 2019microposts