{"push_id":1409776655,"size":1,"distinct_size":1,"ref":"refs/heads/develop","head":"b5c0e32cc35522046923c6535ce79c81ad7369d0","before":"13b6c3658c8a07b2406aa9ff6b60127e70b6f3bc","commits":[{"sha":"b5c0e32cc35522046923c6535ce79c81ad7369d0","author":{"name":"Michael Emmi","email":"07089e22b6a9e67aed6e2e516fbf421dd1057be0@gmail.com"},"message":"Added shadow assertion self-composition branch.","distinct":true,"url":"https://api.github.com/repos/michael-emmi/bam-bam-boogieman/commits/b5c0e32cc35522046923c6535ce79c81ad7369d0"}]}
{"actor":{"display_login":"michael-emmi"}}