{"push_id":1236610620,"size":1,"distinct_size":1,"ref":"refs/heads/sat-strings","head":"557b1191ac4782b78b33d164b2e2056d0ed722e1","before":"c864f07300a7eaa6319cfe16a2c438109d130769","commits":[{"sha":"557b1191ac4782b78b33d164b2e2056d0ed722e1","author":{"name":"Romain Brenguier","email":"b85ea2d6dcc482bea20a3fb7e3d8761fccb4a9b2@cs.ox.ac.uk"},"message":"Changed the encoding of strings to use a structured type","distinct":true,"url":"https://api.github.com/repos/romainbrenguier/cbmc/commits/557b1191ac4782b78b33d164b2e2056d0ed722e1"}]}
{"actor":{"display_login":"romainbrenguier"}}