{"push_id":851590287,"size":2,"distinct_size":2,"ref":"refs/heads/constraints","head":"3b1c1f99f1375aae6e816a115571ea60c60fd584","before":"00a9ee15373ddc8c3fa697bf51e6a0aa95bc13bf","commits":[{"sha":"b62339abcb67603924747458fe09170135b6bdb7","author":{"email":"7dc5a0072bb265d61da55ce510082027dfaa272a@gmail.com","name":"Erik Allik"},"message":"Removed currytools submodule","distinct":true,"url":"https://api.github.com/repos/eallik/curry-kics2/commits/b62339abcb67603924747458fe09170135b6bdb7"},{"sha":"3b1c1f99f1375aae6e816a115571ea60c60fd584","author":{"email":"7dc5a0072bb265d61da55ce510082027dfaa272a@gmail.com","name":"Erik Allik"},"message":"Removed lib-trunk submodule","distinct":true,"url":"https://api.github.com/repos/eallik/curry-kics2/commits/3b1c1f99f1375aae6e816a115571ea60c60fd584"}]}