{"push_id":2663043911,"size":1,"distinct_size":1,"ref":"refs/heads/8.8","head":"967f9b4c03313b6e22e94260ae0925a630377e72","before":"0d48f83bed6750f85d1b9564a430ad3af6e9bb48","commits":[{"sha":"967f9b4c03313b6e22e94260ae0925a630377e72","author":{"name":"Lysxia","email":"e1738361646aa5c5c5dbd8cea9458db76c9d6ee1@gmail.com"},"message":"examples: Add _CoqProject to deconfuse PG","distinct":true,"url":"https://api.github.com/repos/QuickChick/QuickChick/commits/967f9b4c03313b6e22e94260ae0925a630377e72"}]}
{"actor":{"display_login":"liyishuai"}}