{"push_id":2852110483,"size":1,"distinct_size":0,"ref":"refs/heads/develop","head":"a9efbf2da90d0c8c55b88f879c25ee531036eea5","before":"5dc3e21dff57303367fd17f6a190c3031986dc24","commits":[{"sha":"a9efbf2da90d0c8c55b88f879c25ee531036eea5","author":{"name":"Davide Magrin","email":"e9f4a866229365a93c19fd3b024dbec2a5e522bc@gmail.com"},"message":"Allow users to specify RngRun on their own\n\nDo this by only setting RngRun if it's not provided in the parameter\nspecification.","distinct":false,"url":"https://api.github.com/repos/DvdMgr/sem/commits/a9efbf2da90d0c8c55b88f879c25ee531036eea5"}]}
{"actor":{"display_login":"DvdMgr"}}