info page regarding 'error: RPC failed' is wrong


According to http://z3.codeplex.com/wikipage?title=Git%20HTTPS%20cloning%20errors it suffices to use a recent git version. However, as also mentioned in the comments, the error still occurs.
Closed Jan 24, 2013 at 10:48 PM by leodemoura
Documentation was fixed.


leodemoura wrote Jan 24, 2013 at 9:04 PM

Thanks for reporting the problem.

Does it work if you build git using the instructions described in the post?

In the meantime, you can download the code by clicking the download button.
It will create a zip file with the source code.
We can use this feature to download the Z3 source code for any version/commit/branch.


CarstenOtto wrote Jan 24, 2013 at 10:13 PM

The git version I built (git version has no problems cloning the Z3 code.

leodemoura wrote Jan 24, 2013 at 10:48 PM


I rewrote http://z3.codeplex.com/wikipage?title=Git%20HTTPS%20cloning%20errors.

This problem is weird. I still don't understand why it happens.