{"push_id":855514064,"size":1,"distinct_size":1,"ref":"refs/heads/build_queue","head":"0d1303c0c5af3e344d21f0936323d6438d6e3841","before":"01ef3e2a4a3183eaaf67bc3686b775ddc35aaa57","commits":[{"sha":"0d1303c0c5af3e344d21f0936323d6438d6e3841","author":{"email":"04f3ce9c7562766dff865a8803cb959e80935011@jacobs-university.de","name":"cmaeder"},"message":"catch buildDir exception without unintended reformatting\n\nThis reverts the bad formatting of commit a198120252229b06eb54504c058ba775caa0f0fe.","distinct":true,"url":"https://api.github.com/repos/KWARC/MMT/commits/0d1303c0c5af3e344d21f0936323d6438d6e3841"}]}