{"push_id":2362962989,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"567e0ef93d185a98ab54dc10390a1318641d35fc","before":"0777e70694a139750aafd1d3e3a7244f356bf104","commits":[{"sha":"567e0ef93d185a98ab54dc10390a1318641d35fc","author":{"name":"Emina Torlak","email":"d5bafb08daa571bafb3bb24307e26da87f001f1f@alum.mit.edu"},"message":"Adopt Z3 convention for displaying bitvectors (#85).","distinct":true,"url":"https://api.github.com/repos/emina/rosette/commits/567e0ef93d185a98ab54dc10390a1318641d35fc"}]}
{"actor":{"display_login":"emina"}}