{"push_id":1480622235,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"c65c2cda940d15f5c62c47ad811ec5bebc13ad0e","before":"37e035f544de7029238e8af01be3d3bea9dfba4b","commits":[{"sha":"b90e9b164fa85f2267d4c8cc4ca5d9f863ac95bd","author":{"name":"andixlm","email":"b42705d6d8fc8d980d420ec622ba2aba6cb48b27@gmail.com"},"message":"main: Implement unf handler","distinct":true,"url":"https://api.github.com/repos/etu-fkti5301-bgu/alt-exam_automated_theorem_proving/commits/b90e9b164fa85f2267d4c8cc4ca5d9f863ac95bd"},{"sha":"c65c2cda940d15f5c62c47ad811ec5bebc13ad0e","author":{"name":"andixlm","email":"b42705d6d8fc8d980d420ec622ba2aba6cb48b27@gmail.com"},"message":"main: Use unified parsed field","distinct":true,"url":"https://api.github.com/repos/etu-fkti5301-bgu/alt-exam_automated_theorem_proving/commits/c65c2cda940d15f5c62c47ad811ec5bebc13ad0e"}]}
{"actor":{"display_login":"andixlm"}}