{"push_id":952667373,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"87775add090ba4b5784763df5771bad0da63a774","before":"264e13cea0184a62d6d98f9be5c8a0aed218472f","commits":[{"sha":"87775add090ba4b5784763df5771bad0da63a774","author":{"email":"ca26569ce968b9385f59aff628076bd5d50fd0c5@rwth-aachen.de","name":"Jan Dreier"},"message":"more streaming, more lambdas :)","distinct":true,"url":"https://api.github.com/repos/jan3er/counterexample/commits/87775add090ba4b5784763df5771bad0da63a774"}]}