{"push_id":545637199,"size":1,"distinct_size":1,"ref":"refs/heads/local_planner","head":"a9199d93505ac4f7ba61494cbf00e7aaf4a73314","before":"23dc3cf43c35deef01698cb555d78532270d792f","commits":[{"sha":"a9199d93505ac4f7ba61494cbf00e7aaf4a73314","author":{"email":"e4ba8cbbd51f4df1e8ed8ad0b7ba0015000159cf@gmail.com","name":"jadecastro"},"message":"start at different initial conditions","distinct":true,"url":"https://api.github.com/repos/jadecastro/LTLMoP/commits/a9199d93505ac4f7ba61494cbf00e7aaf4a73314"}]}