{"push_id":1230259963,"size":1,"distinct_size":1,"ref":"refs/heads/bv32","head":"c6b5e07e59fa2f2674f3e81ec952d3a0f5c3951a","before":"eeb17a513c0f744c2f7641d88036285ced2a5347","commits":[{"sha":"c6b5e07e59fa2f2674f3e81ec952d3a0f5c3951a","author":{"name":"ekiciburak","email":"b51a9a02cb1d1457580da6b885d59564b0da1925@hotmail.com"},"message":"check_bbUlt with some holes in the proof.","distinct":true,"url":"https://api.github.com/repos/ekiciburak/smtcoq/commits/c6b5e07e59fa2f2674f3e81ec952d3a0f5c3951a"}]}
{"actor":{"display_login":"ekiciburak"}}