{"push_id":1218745160,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"5abb5a116c62103fabe91e90b892579d650fea38","before":"514ffdf5f9e2a1b407b92387420a79d6dace35d0","commits":[{"sha":"5abb5a116c62103fabe91e90b892579d650fea38","author":{"name":"Pantazis Deligiannis","email":"d1ac77c30aaeee2eb3eb29bf0f2ab01ef22a3293@me.com"},"message":"change in hit max-steps output","distinct":true,"url":"https://api.github.com/repos/p-org/PSharp/commits/5abb5a116c62103fabe91e90b892579d650fea38"}]}
{"actor":{"display_login":"pdeligia"}}