{"push_id":736660669,"size":2,"distinct_size":2,"ref":"refs/heads/fun","head":"80547ad84f3cbb652f0ddb9b7a2bf7b09800f9e2","before":"da74a17ea969e7a9595ef2f11a3898d0822aa72e","commits":[{"sha":"e74bb5f8375b98ea2ad0ac8faa5ae82e68482c83","author":{"email":"a17fed27eaa842282862ff7c1b9c8395a26ac320@recurial.com","name":"Mike Vollmer"},"message":"Hacking on new attempt","distinct":true,"url":"https://api.github.com/repos/vollmerm/skel-isabelle/commits/e74bb5f8375b98ea2ad0ac8faa5ae82e68482c83"},{"sha":"80547ad84f3cbb652f0ddb9b7a2bf7b09800f9e2","author":{"email":"a17fed27eaa842282862ff7c1b9c8395a26ac320@recurial.com","name":"Mike Vollmer"},"message":"writing big step semantics","distinct":true,"url":"https://api.github.com/repos/vollmerm/skel-isabelle/commits/80547ad84f3cbb652f0ddb9b7a2bf7b09800f9e2"}]}