{"push_id":2495762642,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"a9580c01a2ecdd1f8683b558489a5d32048bac80","before":"0c7702651d21983fcbeb44d19cead1a88263d5d6","commits":[{"sha":"a9580c01a2ecdd1f8683b558489a5d32048bac80","author":{"name":"Mario Uhrik / Majo / xuhrik / muhrik","email":"55cff58ebf18f36e89b30de6f81c6f32182f7906@mail.muni.cz"},"message":"ACTMCReduction now also computes kappa allowed error bound with regards to Mean Payoff.","distinct":true,"url":"https://api.github.com/repos/muhrik/prism-gsmp/commits/a9580c01a2ecdd1f8683b558489a5d32048bac80"}]}
{"actor":{"display_login":"muhrik"}}