Re: [GiNaC-devel] Cloning repository with Git