{"push_id":2503075702,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"5f1cdd91a5e03dd29b660c841032d5b2a31ea634","before":"bd2f0ebc852a877e1bec4a8c2efca1539db8e4fb","commits":[{"sha":"5f1cdd91a5e03dd29b660c841032d5b2a31ea634","author":{"name":"Andrew Reynolds","email":"4b5b852a53bcf83c69b3c472b5dac205f46498d1@gmail.com"},"message":"Draft of casc j9 scripts (#1800)","distinct":true,"url":"https://api.github.com/repos/CVC4/CVC4/commits/5f1cdd91a5e03dd29b660c841032d5b2a31ea634"}]}
{"actor":{"display_login":"ajreynol"}}