{"push_id":1910424889,"size":1,"distinct_size":1,"ref":"refs/heads/dev","head":"b020e8a4d0fc217bc8ea9b6aa9d7c1edbb426fd8","before":"f68a0ad434278c3ce5d73a74ae56493e1ddc4636","commits":[{"sha":"b020e8a4d0fc217bc8ea9b6aa9d7c1edbb426fd8","author":{"name":"caballa","email":"80c6442f9380070e72c17975d2a631e5ce5cac48@gmail.com"},"message":"Removed some TODO comments","distinct":true,"url":"https://api.github.com/repos/seahorn/crab-llvm/commits/b020e8a4d0fc217bc8ea9b6aa9d7c1edbb426fd8"}]}
{"actor":{"display_login":"caballa"}}