{"push_id":859774694,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"5bee2cbdb3734f6229cc0aea22eec657e5715b0e","before":"555108e77fbadf5832a2c559c1bcacc6ec65e251","commits":[{"sha":"5bee2cbdb3734f6229cc0aea22eec657e5715b0e","author":{"email":"71f8e7976e4cbc4561c9d62fb283e7f788202acb@none","name":"blanchet"},"message":"more","distinct":true,"url":"https://api.github.com/repos/nunchaku-inria/isabelle-nunchaku/commits/5bee2cbdb3734f6229cc0aea22eec657e5715b0e"}]}