{"push_id":1017920772,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"1963e79c374c385aaa4bac2bab599133ad1d947a","before":"89298978dcba9191720e063b1b6f680692e925ca","commits":[{"sha":"1963e79c374c385aaa4bac2bab599133ad1d947a","author":{"email":"644cd02e1403dc68fa4d3b6ae4171f513505ac80@cs.ox.ac.uk","name":"Peter Schrammel"},"message":"Initial README.md, including Travis-CI configuration","distinct":true,"url":"https://api.github.com/repos/peterschrammel/cbmc/commits/1963e79c374c385aaa4bac2bab599133ad1d947a"}]}