{"push_id":907424283,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"1889e3b1f0586b80bf827f2ce5a952ce2a8f8a45","before":"0b0c790e5fe8916af9cae7b0310c472e659d8450","commits":[{"sha":"1889e3b1f0586b80bf827f2ce5a952ce2a8f8a45","author":{"email":"71f8e7976e4cbc4561c9d62fb283e7f788202acb@none","name":"blanchet"},"message":"support 'itself' as a datatype","distinct":true,"url":"https://api.github.com/repos/nunchaku-inria/isabelle-nunchaku/commits/1889e3b1f0586b80bf827f2ce5a952ce2a8f8a45"}]}