{"push_id":1220735599,"size":1,"distinct_size":0,"ref":"refs/heads/testing","head":"49282cfdf5987b37b460d7532068c3cc03aa6b83","before":"e700158484855370e2276a3ac4bc2b75669df203","commits":[{"sha":"49282cfdf5987b37b460d7532068c3cc03aa6b83","author":{"name":"Matt Kaufmann","email":"165c5a339872de97ecba2ef89cf8dbba63b7c3e0@cs.utexas.edu"},"message":"Updated Windows build instructions (thanks to Sandip for the help).","distinct":false,"url":"https://api.github.com/repos/acl2/acl2/commits/49282cfdf5987b37b460d7532068c3cc03aa6b83"}]}
{"actor":{"display_login":"acl2jenkins"}}