[GiNaC-devel] setting up public git repository