{"push_id":2533885728,"size":1,"distinct_size":1,"ref":"refs/heads/strStd","head":"68b184ea61773faf810b3a7cfb837fd69ab34f15","before":"3fcadd7f6490b954de2ee55267f9bba1ed5f2f90","commits":[{"sha":"68b184ea61773faf810b3a7cfb837fd69ab34f15","author":{"name":"ajreynol","email":"4b5b852a53bcf83c69b3c472b5dac205f46498d1@gmail.com"},"message":"Fixes","distinct":true,"url":"https://api.github.com/repos/ajreynol/CVC4/commits/68b184ea61773faf810b3a7cfb837fd69ab34f15"}]}
{"actor":{"display_login":"ajreynol"}}