[GiNaC-devel] to git or not to git (Was: [PATCH] check: indicate the test failures ...)