{"push_id":988356350,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"55a3f8e051d5efdf60d0d7bce14f22964380ecab","before":"207ee8f43fe25f817deee47406a82ce74e035527","commits":[{"sha":"55a3f8e051d5efdf60d0d7bce14f22964380ecab","author":{"email":"3b11e12d2a0a22bfd5e965b6d79f5342bc41373e@gmail.com","name":"Aurèle"},"message":"résumé et mots-clés","distinct":true,"url":"https://api.github.com/repos/Aurele-Barriere/XTRA_HOCore_in_Coq/commits/55a3f8e051d5efdf60d0d7bce14f22964380ecab"}]}