{"push_id":2326070852,"size":1,"distinct_size":1,"ref":"refs/heads/feature/844-syntype","head":"2a8aea7e15d5a8b7a41348f4e82f5c3306dc0e9c","before":"5480de75aec89a9ba8ace922dfca5d5fcb1445af","commits":[{"sha":"2a8aea7e15d5a8b7a41348f4e82f5c3306dc0e9c","author":{"name":"DavePearce","email":"334d99dbbb7f7a66dd1645c4852640661889e297@ecs.vuw.ac.nz"},"message":"Various bug fixes\n\nThis implements various bug fixes related to the change to use\nbidirectional type checking.  It's not completely clear to me how it's\ngoing at this stage, but it feels like we are making progress.","distinct":true,"url":"https://api.github.com/repos/Whiley/WhileyCompiler/commits/2a8aea7e15d5a8b7a41348f4e82f5c3306dc0e9c"}]}
{"actor":{"display_login":"DavePearce"}}