{"push_id":1187623067,"size":4,"distinct_size":4,"ref":"refs/heads/master","head":"4da4a9acc79e79c5baf6459a3048fbeec885b269","before":"1ad599d762c0c51ec43e7593a5565444d4b177cc","commits":[{"sha":"838d13538d9903b58e3ac1c8b5be1ff8f152180d","author":{"name":"Matt Lilley","email":"debcb93ff42c32f7a7686c9b42ed6fd5df18aa9d@gmail.com"},"message":"Put stubs for most of the ISO predicates so the task ahead is a bit clearer","distinct":true,"url":"https://api.github.com/repos/thetrime/proscript2/commits/838d13538d9903b58e3ac1c8b5be1ff8f152180d"},{"sha":"ad5b33f20ce4863a216dcb41cf405c2bfdb11fd6","author":{"name":"Matt Lilley","email":"debcb93ff42c32f7a7686c9b42ed6fd5df18aa9d@gmail.com"},"message":"Occurs check, term ordering and a few other bits and pieces","distinct":true,"url":"https://api.github.com/repos/thetrime/proscript2/commits/ad5b33f20ce4863a216dcb41cf405c2bfdb11fd6"},{"sha":"c58237fd08e2f80c6be40a725379f9cf765f5a71","author":{"name":"Matt Lilley","email":"debcb93ff42c32f7a7686c9b42ed6fd5df18aa9d@gmail.com"},"message":"Implement some atom manipulation predicates","distinct":true,"url":"https://api.github.com/repos/thetrime/proscript2/commits/c58237fd08e2f80c6be40a725379f9cf765f5a71"},{"sha":"4da4a9acc79e79c5baf6459a3048fbeec885b269","author":{"name":"Matt Lilley","email":"debcb93ff42c32f7a7686c9b42ed6fd5df18aa9d@gmail.com"},"message":"Update todo","distinct":true,"url":"https://api.github.com/repos/thetrime/proscript2/commits/4da4a9acc79e79c5baf6459a3048fbeec885b269"}]}
{"actor":{"display_login":"thetrime"}}