{"push_id":1336229395,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"4cc7d2bfdb6ddc6e670dd298ef9da661a34b542e","before":"cc482ed5257d7412f6b9d44bfc63823fee9d6aea","commits":[{"sha":"32c8f0e2d8d3992c25a9f356ec49c4e3e98b146f","author":{"name":"Alain Mebsout","email":"e150ddc410f7706fa0fd6356dcb94248ff24e376@gmail.com"},"message":"show smtcoq proof when converting","distinct":true,"url":"https://api.github.com/repos/ekiciburak/smtcoq/commits/32c8f0e2d8d3992c25a9f356ec49c4e3e98b146f"},{"sha":"4cc7d2bfdb6ddc6e670dd298ef9da661a34b542e","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/4cc7d2bfdb6ddc6e670dd298ef9da661a34b542e"}]}
{"actor":{"display_login":"mebsout"}}