{"push_id":952480159,"size":1,"distinct_size":1,"ref":"refs/heads/patching_multiRobot","head":"96f5b467e80b28a3658245edc36fdeff86867039","before":"ec0b7e00aee8543777efe23da113c2cab2c3bb02","commits":[{"sha":"96f5b467e80b28a3658245edc36fdeff86867039","author":{"email":"49df93f79fd3a501830eac04997b8ae567a5f5db@gmail.com","name":"Catherine (Kai Weng) Wong"},"message":"updated negotiation to allow for more than two robots","distinct":true,"url":"https://api.github.com/repos/wongkaiweng/LTLMoP/commits/96f5b467e80b28a3658245edc36fdeff86867039"}]}