{"push_id":1097434643,"size":1,"distinct_size":1,"ref":"refs/heads/gh-pages","head":"4008c39e4d786b742da783a67558591c9a1b2f3c","before":"82ad15a3af48b2015db528e2d69480f2da83bf31","commits":[{"sha":"4008c39e4d786b742da783a67558591c9a1b2f3c","author":{"email":"2eb44f81cbb86b2147b476379014aca36820527d@jacobs-university.de","name":"Jazzpirate"},"message":"Update setup.md","distinct":true,"url":"https://api.github.com/repos/KWARC/MMT/commits/4008c39e4d786b742da783a67558591c9a1b2f3c"}]}