Yes, after I used git config --global url.https://github.com/.insteadOf git://github.com/ from the link you gave, it solved the problem for me.