{"push_id":3031005592,"size":1,"distinct_size":1,"ref":"refs/heads/univ-poly","head":"5bed8dd91263b78b5da57fc67461f3acab21778f","before":"f77bf63247b68e4e8108028aacc43f784d82dd57","commits":[{"sha":"5bed8dd91263b78b5da57fc67461f3acab21778f","author":{"name":"Gaspard Ferey","email":"82f50152624e7750af091fb994c40c9467e00e48@inria.fr"},"message":"Finished adapting to 8.8.2 API.","distinct":true,"url":"https://api.github.com/repos/Deducteam/CoqInE/commits/5bed8dd91263b78b5da57fc67461f3acab21778f"}]}
{"actor":{"display_login":"Gaspi"}}