{"push_id":965808925,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"863aa2cdfb2b7d726579ac1dac10ab918f41445f","before":"7cf7da99e90f922b728f92076b146a6ad45e5b95","commits":[{"sha":"ad730ff86dd477cd6d330c90cf97e8f9015ccdc3","author":{"email":"b392b2b02804094d0fbfb0708f843e5cb738b19f@in.tum.de","name":"Peter Lammich"},"message":"xxx","distinct":true,"url":"https://api.github.com/repos/srsefid/isabelle_fordfulk/commits/ad730ff86dd477cd6d330c90cf97e8f9015ccdc3"},{"sha":"863aa2cdfb2b7d726579ac1dac10ab918f41445f","author":{"email":"b392b2b02804094d0fbfb0708f843e5cb738b19f@in.tum.de","name":"Peter Lammich"},"message":"Merge branch 'master' of https://github.com/srsefid/isabelle_fordfulk","distinct":true,"url":"https://api.github.com/repos/srsefid/isabelle_fordfulk/commits/863aa2cdfb2b7d726579ac1dac10ab918f41445f"}]}