{"push_id":1464204262,"size":2,"distinct_size":1,"ref":"refs/heads/master","head":"249a27007088c50541a43dd52c638f7647e60885","before":"ad3ce95d101f3f08414529581439f1dd63c80e4e","commits":[{"sha":"b1bbd0c478f38ae3c5588ed0dbde1d7c458f9940","author":{"name":"Tom Janson","email":"072c3ee3bafced770f9e2161ddd7071f11722725@rwth-aachen.de"},"message":"rm old unused (?) src/CMakeLists.txt","distinct":false,"url":"https://api.github.com/repos/tjanson/stormpy/commits/b1bbd0c478f38ae3c5588ed0dbde1d7c458f9940"},{"sha":"249a27007088c50541a43dd52c638f7647e60885","author":{"name":"Sebastian Junges","email":"a2193f2ca4db92f88b1fa0f1f2b628141f26fb85@cs.rwth-aachen.de"},"message":"Merge pull request #2 from tjanson/rm_old_cmakelists\n\nRemove old unused (?) src/CMakeLists.txt","distinct":true,"url":"https://api.github.com/repos/tjanson/stormpy/commits/249a27007088c50541a43dd52c638f7647e60885"}]}
{"actor":{"display_login":"tjanson"}}