{"push_id":777223674,"size":1,"distinct_size":1,"ref":"refs/heads/rect_params","head":"040fd954d5aaec2f03dbe98f9f3051738863eeae","before":"f63116b9fda3d309b1bf9caad0ef6ef88be69cb2","commits":[{"sha":"040fd954d5aaec2f03dbe98f9f3051738863eeae","author":{"email":"eef7b9b2577a9f8d283ae04587804faf003b273e@gmail.com","name":"Samuel Pastva"},"message":"Fix weak params.","distinct":true,"url":"https://api.github.com/repos/sybila/Distributed-CTL-Model-Checker/commits/040fd954d5aaec2f03dbe98f9f3051738863eeae"}]}