{"push_id":897783259,"size":1,"distinct_size":1,"ref":"refs/heads/mirror-svn","head":"e87498b2619adc66349df2caff0160803ab94dd1","before":"b922955752c6d8b98f921b766c6b694dd3dcb135","commits":[{"sha":"e87498b2619adc66349df2caff0160803ab94dd1","author":{"email":"7fd0fc0600fe7126b582e90ba4900a69707b9842@09069c07-60fa-4895-8316-727242e252e4","name":"cmaeder"},"message":"made it compile\n\ncleaned up a bit\n\ngit-svn-id: https://svn.kwarc.info/repos/MMT@3534 09069c07-60fa-4895-8316-727242e252e4","distinct":true,"url":"https://api.github.com/repos/KWARC/MMT/commits/e87498b2619adc66349df2caff0160803ab94dd1"}]}