{"push_id":4471187926,"size":1,"distinct_size":1,"ref":"refs/heads/bh-uninterpreted","head":"866f1b306a000f40ffefb39a1e87e5b93192c4b2","before":"dc5d6190de027262e855142c0e762ac0847470ce","commits":[{"sha":"866f1b306a000f40ffefb39a1e87e5b93192c4b2","author":{"name":"Brian Huffman","email":"f84fc32ec2e0b68af7d03f17e52f2a8681703afb@galois.com"},"message":"Rename `someArgs` to something more appropriate; add comments.","distinct":true,"url":"https://api.github.com/repos/GaloisInc/saw-core-what4/commits/866f1b306a000f40ffefb39a1e87e5b93192c4b2"}]}
{"actor":{"display_login":"brianhuffman"}}