{"push_id":1267313832,"size":1,"distinct_size":0,"ref":"refs/heads/v8.6","head":"7244637f251272c0d0155d49fc7c1af255b7cef8","before":"dd4654ce6f1808cc19c701219b4bad120b7f2271","commits":[{"sha":"7244637f251272c0d0155d49fc7c1af255b7cef8","author":{"name":"Matej Kosik","email":"35192e8a4ec24deb3072e12309ce6c365c106aac@gmail.com"},"message":"FIX: Coq version","distinct":false,"url":"https://api.github.com/repos/coq/coq/commits/7244637f251272c0d0155d49fc7c1af255b7cef8"}]}
{"actor":{"display_login":"letouzey"}}