{"push_id":1178974214,"size":1,"distinct_size":1,"ref":"refs/heads/exp","head":"2165946df977966c2bda1eb816e9a1779056ce34","before":"c0459a171781f45f8b5d24b17154d35260c69ef5","commits":[{"sha":"2165946df977966c2bda1eb816e9a1779056ce34","author":{"name":"Domenico Fabio Marino","email":"43ebc8eb3fc7f9a78fdb6f61919dc5f8fd734994@ic.ac.uk"},"message":"Vagrant: cast to bool\n\nSigned-off-by: Domenico Fabio Marino <dfm114@ic.ac.uk>","distinct":true,"url":"https://api.github.com/repos/helicopter88/klee-web/commits/2165946df977966c2bda1eb816e9a1779056ce34"}]}
{"actor":{"display_login":"helicopter88"}}