{"push_id":825038126,"size":1,"distinct_size":1,"ref":"refs/heads/mirror-svn","head":"a8419b194da630b2dbc1220cd4e1c41e21cefeb8","before":"4be4a50b4aa67f87a3a6ebfd6f4f45a773714ac7","commits":[{"sha":"a8419b194da630b2dbc1220cd4e1c41e21cefeb8","author":{"email":"7fd0fc0600fe7126b582e90ba4900a69707b9842@09069c07-60fa-4895-8316-727242e252e4","name":"cmaeder"},"message":"allow to omit file arguments\n\ntake current directory as default\n\ngit-svn-id: https://svn.kwarc.info/repos/MMT@3355 09069c07-60fa-4895-8316-727242e252e4","distinct":true,"url":"https://api.github.com/repos/KWARC/MMT/commits/a8419b194da630b2dbc1220cd4e1c41e21cefeb8"}]}