{"push_id":803709574,"size":3,"distinct_size":3,"ref":"refs/heads/master","head":"9f1cc68e503aed295ab1786702479c61279cbf7f","before":"59f48428e72b07e3692a1d862a9f733eae4a4f65","commits":[{"sha":"8291b98e156ffd6ad0f79761c0889b9f7f22dc11","author":{"email":"67535816c66f9466a742e34bea3399ccd6033b5e@mcmaster.ca","name":"Jacques Carette"},"message":"name change","distinct":true,"url":"https://api.github.com/repos/JacquesCarette/pi-dual/commits/8291b98e156ffd6ad0f79761c0889b9f7f22dc11"},{"sha":"ffe2aff14a1b0ebc00805e65a5ea2b88cb8de8dd","author":{"email":"67535816c66f9466a742e34bea3399ccd6033b5e@mcmaster.ca","name":"Jacques Carette"},"message":"better names","distinct":true,"url":"https://api.github.com/repos/JacquesCarette/pi-dual/commits/ffe2aff14a1b0ebc00805e65a5ea2b88cb8de8dd"},{"sha":"9f1cc68e503aed295ab1786702479c61279cbf7f","author":{"email":"67535816c66f9466a742e34bea3399ccd6033b5e@mcmaster.ca","name":"Jacques Carette"},"message":"checkpointing some work on product nat/coh","distinct":true,"url":"https://api.github.com/repos/JacquesCarette/pi-dual/commits/9f1cc68e503aed295ab1786702479c61279cbf7f"}]}