[GiNaC-devel] Alexei is now an official GiNaC maintainer (was: migrating to git?)