{"push_id":1329740203,"size":2,"distinct_size":2,"ref":"refs/heads/sums","head":"b97b1f40e38cbcecfb7407f797a7864b4bc0c469","before":"f3a1c1ed337b4cd413516b7ce7f1f472b1ad122d","commits":[{"sha":"379fb5696b31d4123023af21e4f4cb9548c5512f","author":{"name":"Ian Voysey","email":"b91d558162b39988f1147f9c7bd70c432a4fdbbc@cs.cmu.edu"},"message":"towards #30","distinct":true,"url":"https://api.github.com/repos/hazelgrove/agda-popl17/commits/379fb5696b31d4123023af21e4f4cb9548c5512f"},{"sha":"b97b1f40e38cbcecfb7407f797a7864b4bc0c469","author":{"name":"Ian Voysey","email":"b91d558162b39988f1147f9c7bd70c432a4fdbbc@cs.cmu.edu"},"message":"removed premises. this closes #30.","distinct":true,"url":"https://api.github.com/repos/hazelgrove/agda-popl17/commits/b97b1f40e38cbcecfb7407f797a7864b4bc0c469"}]}
{"actor":{"display_login":"ivoysey"}}