{"push_id":4475389656,"size":3,"distinct_size":3,"ref":"refs/heads/merging-dev-memssa","head":"f916f5ed37e077caf3da0e72f2022d631f19fe85","before":"b0b2bbd020eff4d0f2dc50d63edb1a7a9d9e9a2f","commits":[{"sha":"b628840e00ce5fef3c69e16e0e670d328d458437","author":{"name":"caballa","email":"804892e9999c9457658329e1be9338a38640b86f@gmail.com"},"message":"FIX: stupid error that translated Or and Xor to And","distinct":true,"url":"https://api.github.com/repos/seahorn/crab-llvm/commits/b628840e00ce5fef3c69e16e0e670d328d458437"},{"sha":"07b55112bfe4fd77799be0c886466b003fb2ec6f","author":{"name":"caballa","email":"804892e9999c9457658329e1be9338a38640b86f@gmail.com"},"message":"Make sure that formal parameters are named","distinct":true,"url":"https://api.github.com/repos/seahorn/crab-llvm/commits/07b55112bfe4fd77799be0c886466b003fb2ec6f"},{"sha":"f916f5ed37e077caf3da0e72f2022d631f19fe85","author":{"name":"caballa","email":"804892e9999c9457658329e1be9338a38640b86f@gmail.com"},"message":"Update README","distinct":true,"url":"https://api.github.com/repos/seahorn/crab-llvm/commits/f916f5ed37e077caf3da0e72f2022d631f19fe85"}]}
{"actor":{"display_login":"caballa"}}