{"ref":"refs/heads/master","commits":[{"author":{"name":"Dino Distefano","email":"50659cd1eea2f74e4c186717322028a37a110526@dcs.qmul.ac.uk"},"url":"https://api.github.com/repos/rgrig/papers/commits/843a0771dcff26b3608521cc63560dbd40841689","message":"pldi small things","sha":"843a0771dcff26b3608521cc63560dbd40841689"}],"head":"843a0771dcff26b3608521cc63560dbd40841689","size":1,"push_id":48345985}