{"push_id":575918121,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"29e83dc9bad99e83013cf324a5967b785c6321ad","before":"b1625c04173ff3fc7feafa9139d9d4810deb1023","commits":[{"sha":"29e83dc9bad99e83013cf324a5967b785c6321ad","author":{"email":"f02deabc026083422c4080a2a3c0fa14358d5b51@imperial.ac.uk","name":"Dan Liew"},"message":"Add initial version of script to infer correctness labels and\nscript to apply correctness labels.","distinct":true,"url":"https://api.github.com/repos/symbooglix/boogie-runner/commits/29e83dc9bad99e83013cf324a5967b785c6321ad"}]}