[GiNaC-devel] migrating to git?