{"push_id":1008162769,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"d1adc3698e460714decad62a6980517096d86051","before":"f4bb742ca549fed1ec9b30784192269a089e8507","commits":[{"sha":"d1adc3698e460714decad62a6980517096d86051","author":{"email":"b392b2b02804094d0fbfb0708f843e5cb738b19f@in.tum.de","name":"Peter Lammich"},"message":"3rd iteration over paper\n\nAdded introduction to \"formalizing Fofu\" section\nAdded \"implementing augmentation\" subsection\nUpdated benchmarks. Diagrams now next to each other. (I'm not yet completely satisfied with the result)","distinct":true,"url":"https://api.github.com/repos/srsefid/proof-pearl-fofu/commits/d1adc3698e460714decad62a6980517096d86051"}]}