{"push_id":851531181,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"5f38979df49499b476b774bf29b1379835fc67a3","before":"03a307c2ae99673b668a20cd301dffecaae52408","commits":[{"sha":"5f38979df49499b476b774bf29b1379835fc67a3","author":{"email":"df0078c222fc2789d89cf85b5f4485e369a934b8@gmail.com","name":"Abhishek Anand (@ CU desktop)"},"message":"finished characterizing change in X co-ordinate while turning.\nhad to assume that the velocity and turn curvature where fixed and non-zero.","distinct":true,"url":"https://api.github.com/repos/aa755/ROSCoq/commits/5f38979df49499b476b774bf29b1379835fc67a3"}]}