{"push_id":2171103105,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"a31921398fee6592b3ed3e1fc85edcb6dfe5b773","before":"3c6f227b7aa5233f785804a77f5b2daad34b5faa","commits":[{"sha":"a31921398fee6592b3ed3e1fc85edcb6dfe5b773","author":{"name":"Haniel Barbosa","email":"32bdf4bb3be24a9de4636d60a072454e1b088f58@gmail.com"},"message":"Adding SyGuS grammars for rationals. (#1426)","distinct":true,"url":"https://api.github.com/repos/CVC4/CVC4/commits/a31921398fee6592b3ed3e1fc85edcb6dfe5b773"}]}
{"actor":{"display_login":"ajreynol"}}