{"push_id":1248160661,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"04fd0e5af3e354ec2c830b6ff8f916097ae158c0","before":"b70176b513707d52356319152ac1b9abe9fd2b71","commits":[{"sha":"04fd0e5af3e354ec2c830b6ff8f916097ae158c0","author":{"name":"Robert Dockins","email":"f0af079e1ee8b431666027e6fd71ca5397ce4201@galois.com"},"message":"Remove the 'upd' function from the special 'cryptol_prims' module.\nIt is rendered obsolete by the new cryptol primitive 'update'.","distinct":true,"url":"https://api.github.com/repos/GaloisInc/saw-script/commits/04fd0e5af3e354ec2c830b6ff8f916097ae158c0"}]}
{"actor":{"display_login":"robdockins"}}