Re: [GiNaC-devel] migrating to git?