{"push_id":1411385661,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"f6d63ae121beac899d5dbaa1061f25c4ab01e8d9","before":"c3c6472e788d3b4613e4231d9149155fd52ea421","commits":[{"sha":"f6d63ae121beac899d5dbaa1061f25c4ab01e8d9","author":{"name":"DavePearce","email":"334d99dbbb7f7a66dd1645c4852640661889e297@ecs.vuw.ac.nz"},"message":"Minor updates to configuration\n\nThis updates the configuration and launch scripts for AWS.  In\nparticular, to use a newer ubuntu AMI, to install openjdk8 and to clone\nthe new WhileyLabs repository alongside the old.","distinct":true,"url":"https://api.github.com/repos/Whiley/WhileyLabs/commits/f6d63ae121beac899d5dbaa1061f25c4ab01e8d9"}]}
{"actor":{"display_login":"DavePearce"}}