{"push_id":1108327244,"size":1,"distinct_size":1,"ref":"refs/heads/gh-pages","head":"5527e7b1c57451ff1e1b9804513b382a23117843","before":"8ce27bfa0289d33262f664a60b88bcf0f59bf7bb","commits":[{"sha":"5527e7b1c57451ff1e1b9804513b382a23117843","author":{"email":"2eb44f81cbb86b2147b476379014aca36820527d@jacobs-university.de","name":"Jazzpirate"},"message":"Rename doc/system/log.md to doc/system/api/log.md","distinct":true,"url":"https://api.github.com/repos/KWARC/MMT/commits/5527e7b1c57451ff1e1b9804513b382a23117843"}]}