{"push_id":1269853599,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"e7c065d1743de142b015ec94616c282105192241","before":"689ee5f70b8f88282a4d3b6035bb452068f52c3c","commits":[{"sha":"34b6d6fb821e7912a1618b7e2359e31c84a0b8bd","author":{"name":"Alain Mebsout","email":"e150ddc410f7706fa0fd6356dcb94248ff24e376@gmail.com"},"message":"No more wrappers around array operations\nImproved conversion from coq to ocaml side/smtcoq for tactic\nTests of cvc4 tactic","distinct":true,"url":"https://api.github.com/repos/ekiciburak/smtcoq/commits/34b6d6fb821e7912a1618b7e2359e31c84a0b8bd"},{"sha":"e7c065d1743de142b015ec94616c282105192241","author":{"name":"Alain Mebsout","email":"e150ddc410f7706fa0fd6356dcb94248ff24e376@gmail.com"},"message":"Merge branch 'master' of github.com:ekiciburak/smtcoq","distinct":true,"url":"https://api.github.com/repos/ekiciburak/smtcoq/commits/e7c065d1743de142b015ec94616c282105192241"}]}
{"actor":{"display_login":"mebsout"}}