{"push_id":2036090459,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"7fa9ba0696c0a3dd917e86687dccd5c000fa1ded","before":"26c370c72386e8bd5241b21c284c9d84bc20678d","commits":[{"sha":"7fa9ba0696c0a3dd917e86687dccd5c000fa1ded","author":{"name":"Jonathan Prieto-Cubides","email":"ae11487f77b4a54c1115d2338cb901e96d9e41ec@eafit.edu.co"},"message":"[ Clausify and Canonicalize ] using extensively nform.","distinct":true,"url":"https://api.github.com/repos/jonaprieto/agda-metis/commits/7fa9ba0696c0a3dd917e86687dccd5c000fa1ded"}]}
{"actor":{"display_login":"jonaprieto"}}