{"push_id":3047609568,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"b5f37cb8ebcc59f97003e8d0693cd59f66a4210d","before":"6444bc7c5e7e9817242887453b8edc02c6d7bd4a","commits":[{"sha":"b5f37cb8ebcc59f97003e8d0693cd59f66a4210d","author":{"name":"Matthias Volk","email":"fdcac7fc9c398160e73fdf284850cc2930926be6@cs.rwth-aachen.de"},"message":"Fixed json export for pdep","distinct":true,"url":"https://api.github.com/repos/moves-rwth/storm/commits/b5f37cb8ebcc59f97003e8d0693cd59f66a4210d"}]}
{"actor":{"display_login":"i2git"}}