{"push_id":925152443,"size":1,"distinct_size":1,"ref":"refs/heads/local_planner","head":"7b4fe2afc9e33ebe41e50d2ad9a3b58574612a9f","before":"88e6dcd279a12ca27e0702467005ed49ece3dc4b","commits":[{"sha":"7b4fe2afc9e33ebe41e50d2ad9a3b58574612a9f","author":{"email":"e4ba8cbbd51f4df1e8ed8ad0b7ba0015000159cf@gmail.com","name":"jadecastro"},"message":"decomposed region file","distinct":true,"url":"https://api.github.com/repos/jadecastro/LTLMoP/commits/7b4fe2afc9e33ebe41e50d2ad9a3b58574612a9f"}]}