{"push_id":982992340,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"ff7c827f659d337b83bf6c35f5e7dad37076309a","before":"146f82261abc4be83cad01b6d32fd0e5e933c412","commits":[{"sha":"ff7c827f659d337b83bf6c35f5e7dad37076309a","author":{"email":"54e8760daf91fb7a1a2a7ac824ae3af1681929a6@web.de","name":"Helli"},"message":"trying to get snippets from MPF","distinct":true,"url":"https://api.github.com/repos/Helli/IsabelleBasicNumericalProofs/commits/ff7c827f659d337b83bf6c35f5e7dad37076309a"}]}