{"push_id":1225128282,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"0883e10bf6fc612b1fa10e6eaf97af13b27e5e5a","before":"b0564934f604eed7a38c6ab34f30d1db8b7266f3","commits":[{"sha":"8d1cc6fc0fdb22a1c634aaaffba6f07965a8c6c0","author":{"name":"Timothy G. Griffin","email":"23cf916a8d7d591d1666a26e6a0d5a231e8fe70a@cam.ac.uk"},"message":"start adding order-related constructions","distinct":true,"url":"https://api.github.com/repos/Timothy-G-Griffin/CAS/commits/8d1cc6fc0fdb22a1c634aaaffba6f07965a8c6c0"},{"sha":"0883e10bf6fc612b1fa10e6eaf97af13b27e5e5a","author":{"name":"Timothy G. Griffin","email":"23cf916a8d7d591d1666a26e6a0d5a231e8fe70a@cam.ac.uk"},"message":"Merge branch 'master' of https://github.com/Timothy-G-Griffin/CAS","distinct":true,"url":"https://api.github.com/repos/Timothy-G-Griffin/CAS/commits/0883e10bf6fc612b1fa10e6eaf97af13b27e5e5a"}]}
{"actor":{"display_login":"Timothy-G-Griffin"}}