{"push_id":730334512,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"bfffde7dcc26ca2ca9a80a703cee989a81af1598","before":"5970469ed5caec64ea1ccc3b0e2189a149d99710","commits":[{"sha":"bfffde7dcc26ca2ca9a80a703cee989a81af1598","author":{"email":"2345c269678d08d8999433c6411c2f987a7e8bad@me.com","name":"Pantazis Deligiannis"},"message":"compiler now reports an error if a state has multiple handlers for the same event","distinct":true,"url":"https://api.github.com/repos/p-org/PSharp/commits/bfffde7dcc26ca2ca9a80a703cee989a81af1598"}]}