{"push_id":727334999,"size":1,"distinct_size":1,"ref":"refs/heads/contracts-and-arrays","head":"a56e0c684541c74bed8b7666fed3c70871f29194","before":"72322e17940f07697af2504992bd96a196bd4b80","commits":[{"sha":"a56e0c684541c74bed8b7666fed3c70871f29194","author":{"email":"5721131a1feb2f40a72464ada30fc209cd28aab4@uiowa.edu","name":"Christoph sticksel"},"message":"Bugfix: set init flags for calls without defaults","distinct":true,"url":"https://api.github.com/repos/chsticksel/kind2/commits/a56e0c684541c74bed8b7666fed3c70871f29194"}]}