{"push_id":837616681,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"44182671ae1b77da2b2c0659ef8cfcc687d31db5","before":"da3ddd4517bf73fb9dc830854fe96351f3555c40","commits":[{"sha":"44182671ae1b77da2b2c0659ef8cfcc687d31db5","author":{"email":"84e82e5daaf2820a875edbf779aa9286d87082af@cs.washington.edu","name":"James Wilcox"},"message":"simplify counter by removing read from input","distinct":true,"url":"https://api.github.com/repos/uwplse/verdi/commits/44182671ae1b77da2b2c0659ef8cfcc687d31db5"}]}