{"push_id":788211154,"size":1,"distinct_size":1,"ref":"refs/heads/ht_optimize","head":"98ad2b054ec506c11285906f4796055df1cf0719","before":"9322bf0e37797958a570bf5ac3c1653d7fad78c5","commits":[{"sha":"98ad2b054ec506c11285906f4796055df1cf0719","author":{"email":"f6bfce1655ce607dbbb95604189b81807e202641@gmail.com","name":"Matthias Stumpp"},"message":"making things more robust and better naming","distinct":true,"url":"https://api.github.com/repos/thrill/thrill/commits/98ad2b054ec506c11285906f4796055df1cf0719"}]}