{"push_id":1443802640,"size":2,"distinct_size":0,"ref":"refs/heads/master","head":"c1fc71c4fc9d4e1757d30f7fa79de9b47e2efad2","before":"8af2aaa21bfaa52be774f663a0af10dadb79c47d","commits":[{"sha":"5410ccf2979115f8e6c8103e6c1375bf71c2ae1a","author":{"name":"Sol Swords","email":"3f922419f712e3b73ccf12375530689569d2ef4b@centtech.com"},"message":"VL lint: add check for parameter nameclashes for special packages","distinct":false,"url":"https://api.github.com/repos/acl2/acl2/commits/5410ccf2979115f8e6c8103e6c1375bf71c2ae1a"},{"sha":"c1fc71c4fc9d4e1757d30f7fa79de9b47e2efad2","author":{"name":"Sol Swords","email":"3f922419f712e3b73ccf12375530689569d2ef4b@centtech.com"},"message":"Merge remote-tracking branch 'remotes/origin/testing'","distinct":false,"url":"https://api.github.com/repos/acl2/acl2/commits/c1fc71c4fc9d4e1757d30f7fa79de9b47e2efad2"}]}
{"actor":{"display_login":"acl2jenkins"}}