{"push_id":984230846,"size":2,"distinct_size":2,"ref":"refs/heads/raceDetection","head":"231a11a5078f16c708a8d2697eb56672a6c30c46","before":"13d9f29a85831059de3639208913b2868cd7e9d3","commits":[{"sha":"5d8eb172342f80ea3fd265c27653f85ad855097e","author":{"email":"bd45705e4073ec8ccd40d8b91c165c0ca9052327@microsoft.com","name":"Rashmi"},"message":"some more benchmarks","distinct":true,"url":"https://api.github.com/repos/p-org/PSharp/commits/5d8eb172342f80ea3fd265c27653f85ad855097e"},{"sha":"231a11a5078f16c708a8d2697eb56672a6c30c46","author":{"email":"bd45705e4073ec8ccd40d8b91c165c0ca9052327@microsoft.com","name":"Rashmi"},"message":"Merge branch 'raceDetection' of github.com:p-org/PSharp into raceDetection","distinct":true,"url":"https://api.github.com/repos/p-org/PSharp/commits/231a11a5078f16c708a8d2697eb56672a6c30c46"}]}