{"push_id":1838135416,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"a8986f4511bd54787f251fd626344db8ffa9bee8","before":"1e89afbef9a952ac83eb3020eb323f1b868ebe19","commits":[{"sha":"a8986f4511bd54787f251fd626344db8ffa9bee8","author":{"name":"DavePearce","email":"334d99dbbb7f7a66dd1645c4852640661889e297@ecs.vuw.ac.nz"},"message":"TR16-rwtypes: tidied things up a little.","distinct":true,"url":"https://api.github.com/repos/DavePearce/Papers/commits/a8986f4511bd54787f251fd626344db8ffa9bee8"}]}
{"actor":{"display_login":"DavePearce"}}