{"push_id":867375705,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"1efac34b004e7f5f25be01098d839ba492b7d4a1","before":"d82109f37aa7bbfc2e406644afef32489b13dbc9","commits":[{"sha":"1efac34b004e7f5f25be01098d839ba492b7d4a1","author":{"email":"71f8e7976e4cbc4561c9d62fb283e7f788202acb@none","name":"blanchet"},"message":"avoid name clashes","distinct":true,"url":"https://api.github.com/repos/nunchaku-inria/isabelle-nunchaku/commits/1efac34b004e7f5f25be01098d839ba492b7d4a1"}]}