{"push_id":1331164430,"size":2,"distinct_size":2,"ref":"refs/heads/newsema","head":"c7abc814013511ca584c8e5c125b041e0bd26d6e","before":"f67a80d0404c4d93553aaf5fc2a20965c22ce10f","commits":[{"sha":"51b9c4ef1afb0a4b523eac87fd8e28c2068c838f","author":{"name":"Nuno Lopes","email":"ef0a24c8a9fa20c7219e2364a1af478be57e7c9d@ist.utl.pt"},"message":"z3 unstable branch is no more","distinct":true,"url":"https://api.github.com/repos/nunoplopes/alive/commits/51b9c4ef1afb0a4b523eac87fd8e28c2068c838f"},{"sha":"c7abc814013511ca584c8e5c125b041e0bd26d6e","author":{"name":"Nuno Lopes","email":"ef0a24c8a9fa20c7219e2364a1af478be57e7c9d@ist.utl.pt"},"message":"support newer Python 2.7.x and Z3 versions","distinct":true,"url":"https://api.github.com/repos/nunoplopes/alive/commits/c7abc814013511ca584c8e5c125b041e0bd26d6e"}]}
{"actor":{"display_login":"nunoplopes"}}