{"push_id":1154419390,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"ba573e574fd64ab5ab68c901fe4bfd101bb2cc73","before":"430dc04957b5988e81781ddcd825e285f564b42c","commits":[{"sha":"ba573e574fd64ab5ab68c901fe4bfd101bb2cc73","author":{"name":"Arthur Blot","email":"efaee4aa8d3ae961919c4e415fbb26011c44529f@gmail.com"},"message":"Queens: prove the missing chunk","distinct":true,"url":"https://api.github.com/repos/artart78/coq-bitset/commits/ba573e574fd64ab5ab68c901fe4bfd101bb2cc73"}]}
{"actor":{"display_login":"artart78"}}