{"push_id":834036080,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"048a945a2dda40091c99b10bb2ba5c3904405158","before":"18924daa9d746bb05b28cde180eaf133a41e1d29","commits":[{"sha":"048a945a2dda40091c99b10bb2ba5c3904405158","author":{"email":"47be9ca2e7a60d0a01d349006f6bef4b7f0d6788@m4x.org","name":"Simon Cruanes"},"message":"parse basic definitions in TPTP (atom=term)","distinct":true,"url":"https://api.github.com/repos/nunchaku-inria/nunchaku/commits/048a945a2dda40091c99b10bb2ba5c3904405158"}]}