{"push_id":646071417,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"bad71f7090073ee15182db97fe67abfa4254793c","before":"b6036db0687479d184d05b7098010046ca4cc16d","commits":[{"sha":"bad71f7090073ee15182db97fe67abfa4254793c","author":{"email":"8f82015daae014779d38e42d3ceb14813c1f50d8@Alexs-MacBook-Pro.local","name":"Alex Groce"},"message":"work in progress","distinct":true,"url":"https://api.github.com/repos/agroce/cbmcmutate/commits/bad71f7090073ee15182db97fe67abfa4254793c"}]}