{"push_id":2953612149,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"cbdcde36cb8ef7541ea7fe5240d0254ab0caec0c","before":"fcea43b9682f2ee2b1f7c6dbc32351714b422578","commits":[{"sha":"cbdcde36cb8ef7541ea7fe5240d0254ab0caec0c","author":{"name":"Joachim Klein","email":"ac1ad65ace4fd028b45e9bf4be1d26b56b375f4c@tcs.inf.tu-dresden.de"},"message":"GUISimPathFormulaeList: fix some warnings","distinct":true,"url":"https://api.github.com/repos/prismmodelchecker/prism/commits/cbdcde36cb8ef7541ea7fe5240d0254ab0caec0c"}]}
{"actor":{"display_login":"kleinj"}}