{"push_id":1348621149,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"2981436916d399c789282886b514634eb40ab756","before":"65c6c98517a56d33e60a07d75bc665971aaed3ab","commits":[{"sha":"2981436916d399c789282886b514634eb40ab756","author":{"name":"Rashmi","email":"48503df963fd7af48cd2ccf8c6449e6f31ef8e95@microsoft.com"},"message":"P Chord minor bug fix","distinct":true,"url":"https://api.github.com/repos/p-org/PSharp/commits/2981436916d399c789282886b514634eb40ab756"}]}
{"actor":{"display_login":"t-rasmud"}}