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