{"push_id":1323531810,"size":1,"distinct_size":1,"ref":"refs/heads/symex-taint-analysis-c","head":"f962b034f7eb72896f24988a09b269b1d95d41be","before":"d546ce03df5c0095a99c52f1b82374893bc19e26","commits":[{"sha":"f962b034f7eb72896f24988a09b269b1d95d41be","author":{"name":"Daniel Neville","email":"6b971e3079ebfecce855c1585fabb8904854f490@cs.ox.ac.uk"},"message":"Formatting.","distinct":true,"url":"https://api.github.com/repos/DanielNeville/cbmc/commits/f962b034f7eb72896f24988a09b269b1d95d41be"}]}
{"actor":{"display_login":"DanielNeville"}}