[GiNaC-devel] Cloning repository with Git