{"push_id":1157499271,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"21ac7372c746ac49ceca1cfc714133a97b097854","before":"6e4573fc1bc887a9814c096994b11ecf67f239cf","commits":[{"sha":"21ac7372c746ac49ceca1cfc714133a97b097854","author":{"name":"Pierre Letouzey","email":"7f57ef47d7df4bda39ff7662fedf6b8fbea1832c@inria.fr"},"message":"Fix after packing of stdlib plugins","distinct":true,"url":"https://api.github.com/repos/coq-contribs/coq-contribs/commits/21ac7372c746ac49ceca1cfc714133a97b097854"}]}
{"actor":{"display_login":"letouzey"}}