{"push_id":569125677,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"3ec4f6f2e328d40543d38636297243ea9d1efed4","before":"4ff01d2a7e10c268414415ee48eecb09dd760f7a","commits":[{"sha":"3ec4f6f2e328d40543d38636297243ea9d1efed4","author":{"email":"d865e4d058a15683f0664f289ebceb0fd744ac70@gmail.com","name":"Guillaume Bury"},"message":"[bugfix] semantic backtrack added decision with wrong level","distinct":true,"url":"https://api.github.com/repos/Gbury/mSAT/commits/3ec4f6f2e328d40543d38636297243ea9d1efed4"}]}