{"push_id":546709954,"size":1,"distinct_size":1,"ref":"refs/heads/develop","head":"ccecf26502a7d50ffe4bff7e451cb60e1ada8420","before":"0dde97d0773ebd6ded6223413a131aa0de5e609a","commits":[{"sha":"ccecf26502a7d50ffe4bff7e451cb60e1ada8420","author":{"email":"5721131a1feb2f40a72464ada30fc209cd28aab4@uiowa.edu","name":"Christoph sticksel"},"message":"Fixed hashing of variables","distinct":true,"url":"https://api.github.com/repos/chsticksel/kind2/commits/ccecf26502a7d50ffe4bff7e451cb60e1ada8420"}]}