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