{"push_id":2725470227,"size":1,"distinct_size":1,"ref":"refs/heads/pdeligia/docs","head":"3779ebd71bf135e9d848924c47cfa8807b6120c2","before":"a7adf7bc593da3529ba2b24ef90dd8f9e435b91e","commits":[{"sha":"3779ebd71bf135e9d848924c47cfa8807b6120c2","author":{"name":"Pantazis Deligiannis","email":"2345c269678d08d8999433c6411c2f987a7e8bad@microsoft.com"},"message":"update","distinct":true,"url":"https://api.github.com/repos/p-org/PSharp/commits/3779ebd71bf135e9d848924c47cfa8807b6120c2"}]}
{"actor":{"display_login":"pdeligia"}}