{"push_id":773368506,"size":1,"distinct_size":1,"ref":"refs/heads/lazy","head":"fd9c24c40ea649457969c02819d5a28bea2594d7","before":"65d7fcf9798220b090095bfec1c31bebd1672597","commits":[{"sha":"fd9c24c40ea649457969c02819d5a28bea2594d7","author":{"email":"a238860cf283645a0d2af56cf5044be108d96450@dbai.tuwien.ac.at","name":"Bernhard Bliem"},"message":"Changed freezing to assumptions","distinct":true,"url":"https://api.github.com/repos/bbliem/dflat/commits/fd9c24c40ea649457969c02819d5a28bea2594d7"}]}