{"push_id":753505933,"size":1,"distinct_size":1,"ref":"refs/heads/develop","head":"b95c7ab0664607243d9f38b3e284843d53db1248","before":"f2c061cd4e889712b57a98af07c06fe00e6530dd","commits":[{"sha":"b95c7ab0664607243d9f38b3e284843d53db1248","author":{"email":"ca52830902e3c33feb21efcaaa89ea8c0a9c1b3b@ecs.vuw.ac.nz","name":"DavePearce"},"message":"WyCS: Updating to latest WyRL API","distinct":true,"url":"https://api.github.com/repos/Whiley/WhileyCompiler/commits/b95c7ab0664607243d9f38b3e284843d53db1248"}]}