{"push_id":2951618421,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"cb280158ef81636883f7578cbabdd3b788297715","before":"ed733063e189f124ec8feafa971a9167903ee133","commits":[{"sha":"cb280158ef81636883f7578cbabdd3b788297715","author":{"name":"Brian Huffman","email":"f84fc32ec2e0b68af7d03f17e52f2a8681703afb@galois.com"},"message":"Moved definition of cryptol simpset into the cryptol-verifier package.","distinct":true,"url":"https://api.github.com/repos/GaloisInc/saw-script/commits/cb280158ef81636883f7578cbabdd3b788297715"}]}
{"actor":{"display_login":"brianhuffman"}}