{"push_id":1163170433,"size":1,"distinct_size":1,"ref":"refs/heads/feature/620-bytecode","head":"ff1d0a83327be8b7b4db258b3202bc9e459272c7","before":"827be132c91b8b15a64e8ca78408d739e133439c","commits":[{"sha":"ff1d0a83327be8b7b4db258b3202bc9e459272c7","author":{"name":"DavePearce","email":"334d99dbbb7f7a66dd1645c4852640661889e297@ecs.vuw.ac.nz"},"message":"VCG now correctly verifying loops with loop invariants.","distinct":true,"url":"https://api.github.com/repos/Whiley/WhileyCompiler/commits/ff1d0a83327be8b7b4db258b3202bc9e459272c7"}]}
{"actor":{"display_login":"DavePearce"}}