{"push_id":884618873,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"40e280d00005a97137f88123805e14f0d209096c","before":"d42a064a828fe65318247bef7e22a9b17562cd58","commits":[{"sha":"9233d056f88ebfc41caa71e0a3869c595702c8ec","author":{"email":"6406e48007f6f06ee877cc425fe8408fad7fb5ea@gmail.com","name":"Fredrik Johnsson"},"message":"Fix add_edges, add todo","distinct":true,"url":"https://api.github.com/repos/Fredrik89/eda230/commits/9233d056f88ebfc41caa71e0a3869c595702c8ec"},{"sha":"40e280d00005a97137f88123805e14f0d209096c","author":{"email":"6406e48007f6f06ee877cc425fe8408fad7fb5ea@gmail.com","name":"Fredrik Johnsson"},"message":"eval phi complete need to fix ssa-worklist","distinct":true,"url":"https://api.github.com/repos/Fredrik89/eda230/commits/40e280d00005a97137f88123805e14f0d209096c"}]}