{"push_id":647163245,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"ca75875535beb7e2e93eb09e5384b27b7841a31f","before":"54c7d03f9ee3942df52369bee5dbde4203b72343","commits":[{"sha":"ca75875535beb7e2e93eb09e5384b27b7841a31f","author":{"email":"a41b50f3cb0896a5b245eff7b32956c168d791fc@gmail.com","name":"amoretspero"},"message":"Doing Logic.v about 60% done.","distinct":true,"url":"https://api.github.com/repos/amoretspero/Coq_prac/commits/ca75875535beb7e2e93eb09e5384b27b7841a31f"}]}