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