{"push_id":1138085493,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"1edf61f065ce10ee3efa3eaa980b683918a9d5b9","before":"ad5f494a90593090893e5ad7ba477f23f06133f2","commits":[{"sha":"1edf61f065ce10ee3efa3eaa980b683918a9d5b9","author":{"name":"blanchet","email":"1f6ffad54c80dfd4b544f3ad2a39be1873071d55@none"},"message":"handle \"inductive_set\" smoothly","distinct":true,"url":"https://api.github.com/repos/nunchaku-inria/isabelle-nunchaku/commits/1edf61f065ce10ee3efa3eaa980b683918a9d5b9"}]}
{"actor":{"display_login":"blanchette"}}