{"push_id":2344498020,"size":1,"distinct_size":1,"ref":"refs/heads/multithreaded","head":"3a0cbd61229706daaac7cb3e5a4edfa2a80ca63f","before":"9d8365777220ad5c7ac4f40af30ac6d13343258c","commits":[{"sha":"3a0cbd61229706daaac7cb3e5a4edfa2a80ca63f","author":{"name":"Baris Sertkaya","email":"e780253b9c604da9d2a5f5b28ccf0e3da4319ee9@mailbox.org"},"message":"Added new counters for statistics about number of own and foreign axioms.","distinct":true,"url":"https://api.github.com/repos/sertkaya/elephant-reasoner/commits/3a0cbd61229706daaac7cb3e5a4edfa2a80ca63f"}]}
{"actor":{"display_login":"sertkaya"}}