{"push_id":987196559,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"f73ecffc654bf8184569a8cc7bc01c3f05491f4e","before":"1734f3fd872ec5409aea830989a66c9bcb7dac8f","commits":[{"sha":"e273a3ef0d040d643c3b21558bd5b203b8d0a2f0","author":{"email":"73950cc95d26eb14d0088bb760724a6376599c8f@msn.com","name":"Hugounenq-Cyril"},"message":"proposition intro sec 3 k>=h","distinct":true,"url":"https://api.github.com/repos/Hugounenq-Cyril/Two_curves_on_a_volcano/commits/e273a3ef0d040d643c3b21558bd5b203b8d0a2f0"},{"sha":"f73ecffc654bf8184569a8cc7bc01c3f05491f4e","author":{"email":"73950cc95d26eb14d0088bb760724a6376599c8f@msn.com","name":"Hugounenq-Cyril"},"message":"Merge branch 'master' of https://github.com/Hugounenq-Cyril/Two_curves_on_a_volcano","distinct":true,"url":"https://api.github.com/repos/Hugounenq-Cyril/Two_curves_on_a_volcano/commits/f73ecffc654bf8184569a8cc7bc01c3f05491f4e"}]}