{"push_id":1196450460,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"9ba3a4efa3e4d142a40fc6b620d0ea65bf95383e","before":"9ed7c71dc4f249e3b295ee5c40a5a6d437d8b9d6","commits":[{"sha":"9ba3a4efa3e4d142a40fc6b620d0ea65bf95383e","author":{"name":"Eng Boris","email":"48f28a903c2905e585263e21a5f782ac1e5e6f21@hotmail.fr"},"message":"Progression.","distinct":true,"url":"https://api.github.com/repos/engboris/sat-solver/commits/9ba3a4efa3e4d142a40fc6b620d0ea65bf95383e"}]}
{"actor":{"display_login":"engboris"}}