{"push_id":2695705511,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"f2b5ae8ff8859961fda1aeace03fccf282f4832f","before":"6fe03d3b984229b3e23c3eef02ad5a10b4821a5e","commits":[{"sha":"f2b5ae8ff8859961fda1aeace03fccf282f4832f","author":{"name":"Jaco Geldenhuys","email":"013960e6ca8513f47f79a63e9cf73f1a0fd2a037@sun.ac.za"},"message":"Update DEEPSEA for CLI Z3 and fix negation bug","distinct":true,"url":"https://api.github.com/repos/DeepseaPlatform/deepsea/commits/f2b5ae8ff8859961fda1aeace03fccf282f4832f"}]}
{"actor":{"display_login":"jacogeld"}}