{"push_id":906247947,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"a5ea8acc9e2692ebde561d5f18cdab6167d48ee4","before":"5d94f25674d04f031636121cf99851f70706fc7a","commits":[{"sha":"a5ea8acc9e2692ebde561d5f18cdab6167d48ee4","author":{"email":"c424fd5b43fbc1ab80068a9e05ff4cfb8ab432f2@clpc53.cs.ox.ac.uk","name":"gan237"},"message":"bin/experiments-svcomp15-short.sh","distinct":true,"url":"https://api.github.com/repos/gan237/walcyrie/commits/a5ea8acc9e2692ebde561d5f18cdab6167d48ee4"}]}