{"push_id":1012663636,"size":2,"distinct_size":2,"ref":"refs/heads/rand-prove","head":"0bc01b1ce05c3a464f78a5d23850fc09c82a900c","before":"43236f623d5203b0bd9fb39525896596e7de318d","commits":[{"sha":"8cadba25947e0488cd52030b32babeff7a2e3d1c","author":{"email":"dfbbecd0ab6d8a24b10e2e0ab25de79a09c9b9ec@ma.tum.de","name":"Michael Strobel"},"message":"filter","distinct":true,"url":"https://api.github.com/repos/strobelm/CindyJS/commits/8cadba25947e0488cd52030b32babeff7a2e3d1c"},{"sha":"0bc01b1ce05c3a464f78a5d23850fc09c82a900c","author":{"email":"dfbbecd0ab6d8a24b10e2e0ab25de79a09c9b9ec@ma.tum.de","name":"Michael Strobel"},"message":"loops","distinct":true,"url":"https://api.github.com/repos/strobelm/CindyJS/commits/0bc01b1ce05c3a464f78a5d23850fc09c82a900c"}]}