{"push_id":660382370,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"4d43b19ff72cd52bf654b5c61be97d60b924c89d","before":"daee8e8fe352ec296e768170b5f0bc1ef7931a0c","commits":[{"sha":"4d43b19ff72cd52bf654b5c61be97d60b924c89d","author":{"email":"8f82015daae014779d38e42d3ceb14813c1f50d8@10-162-164-164.wireless.oregonstate.edu","name":"Alex Groce"},"message":"alex a version","distinct":true,"url":"https://api.github.com/repos/agroce/cbmcmutate/commits/4d43b19ff72cd52bf654b5c61be97d60b924c89d"}]}