{"push_id":1238943178,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"b6f378cac173366aa726159385eec756b4d9bc69","before":"799d207df2164298e15df7c7a8d938e95160b93e","commits":[{"sha":"b6f378cac173366aa726159385eec756b4d9bc69","author":{"name":"Dominique Unruh","email":"e335d02d88b896e1daae04b899355bec7eb8b319@unruh.de"},"message":"Z3: Fixed some wrong translations in fromCMathML_.","distinct":true,"url":"https://api.github.com/repos/dominique-unruh/proof-editor/commits/b6f378cac173366aa726159385eec756b4d9bc69"}]}
{"actor":{"display_login":"dominique-unruh"}}