{"push_id":907749857,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"7c27399305990b9264f5bf06b924cdac88e4e50c","before":"c13e25e2eb115d1f64b3ea9f154dc6187bf926d4","commits":[{"sha":"789616cb191c9e2366fa32636f1fe5692d79f573","author":{"email":"539ceab9a4c155868dd360023fd9ed09f5ff249b@perdues.com","name":"Cris Perdue"},"message":"Comments.","distinct":true,"url":"https://api.github.com/repos/crisperdue/prooftoys/commits/789616cb191c9e2366fa32636f1fe5692d79f573"},{"sha":"7c27399305990b9264f5bf06b924cdac88e4e50c","author":{"email":"539ceab9a4c155868dd360023fd9ed09f5ff249b@perdues.com","name":"Cris Perdue"},"message":"One previous conversion to rules.asHypotheses was incorrect; go back to .asHyps().","distinct":true,"url":"https://api.github.com/repos/crisperdue/prooftoys/commits/7c27399305990b9264f5bf06b924cdac88e4e50c"}]}