{"push_id":850821163,"size":1,"distinct_size":1,"ref":"refs/heads/mirror-svn","head":"5b24ffd0b150c615e3767222b985ee90fb8ceaf5","before":"4a52bf3cf83f54dcacba4a7a60764de8b92af286","commits":[{"sha":"5b24ffd0b150c615e3767222b985ee90fb8ceaf5","author":{"email":"7fd0fc0600fe7126b582e90ba4900a69707b9842@09069c07-60fa-4895-8316-727242e252e4","name":"cmaeder"},"message":"re-reverted and added \\mhcurrentmodule for \\gimport (#92)\n\ngit-svn-id: https://svn.kwarc.info/repos/MMT@3424 09069c07-60fa-4895-8316-727242e252e4","distinct":true,"url":"https://api.github.com/repos/KWARC/MMT/commits/5b24ffd0b150c615e3767222b985ee90fb8ceaf5"}]}