{"push_id":3132552686,"size":1,"distinct_size":1,"ref":"refs/heads/template-pcuic-extraction","head":"aef39b82213188ce237ddc3f217245b5b3aef7cf","before":"8a4de5483240a02dae971353f52907cfb38f4861","commits":[{"sha":"aef39b82213188ce237ddc3f217245b5b3aef7cf","author":{"name":"Matthieu Sozeau","email":"6890fa1d738eb4a06cf1d2634a31d4aac12540b7@mattam.org"},"message":"Update Template-Coq to a version with fixed extraction","distinct":true,"url":"https://api.github.com/repos/PrincetonUniversity/certicoq/commits/aef39b82213188ce237ddc3f217245b5b3aef7cf"}]}
{"actor":{"display_login":"mattam82"}}