{"push_id":1099676258,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"489eefbfb77eb02cc7b68196596c8eeb72b0aaba","before":"61550a86f92de7decb82eac829e6c370a4be0533","commits":[{"sha":"ba6f6b59b7534a552f8b1e07dde58c3d5d539661","author":{"email":"95265ee7e1862362795cf69cfa86248ecca9c6d0@ens.fr","name":"lyxia"},"message":"Add lambda term example","distinct":true,"url":"https://api.github.com/repos/Lysxia/generic-random/commits/ba6f6b59b7534a552f8b1e07dde58c3d5d539661"},{"sha":"489eefbfb77eb02cc7b68196596c8eeb72b0aaba","author":{"email":"95265ee7e1862362795cf69cfa86248ecca9c6d0@ens.fr","name":"lyxia"},"message":"Improve laziness in the computation of minimum size","distinct":true,"url":"https://api.github.com/repos/Lysxia/generic-random/commits/489eefbfb77eb02cc7b68196596c8eeb72b0aaba"}]}