{"push_id":687294474,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"46c59513929d59234818dfa92502485affde52db","before":"f2082d6c0ddb27273c0648771d532439294a77c9","commits":[{"sha":"46c59513929d59234818dfa92502485affde52db","author":{"email":"6f5b7dd783e3a99ae443513e714e429e3d238bb7@gmail.com","name":"husttroy"},"message":"initialize mark.","distinct":true,"url":"https://api.github.com/repos/husttroy/SATSolver/commits/46c59513929d59234818dfa92502485affde52db"}]}