{"push_id":1715660880,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"0201ac852c68408cbd29c310968feee041788141","before":"a3be92eb30d9c0e6a46801bb37a584ea4426dd14","commits":[{"sha":"0201ac852c68408cbd29c310968feee041788141","author":{"name":"caballa","email":"80c6442f9380070e72c17975d2a631e5ce5cac48@gmail.com"},"message":"[FIXED] seg fault when query was false","distinct":true,"url":"https://api.github.com/repos/seahorn/seahorn/commits/0201ac852c68408cbd29c310968feee041788141"}]}
{"actor":{"display_login":"caballa"}}