{"push_id":1406475813,"size":1,"distinct_size":1,"ref":"refs/heads/pthreadDriverRaces","head":"19699f3f6211d33c7538893e015bf0f46b5ca2c2","before":"249f396dc94e450c5142d1f86915c92673295537","commits":[{"sha":"19699f3f6211d33c7538893e015bf0f46b5ca2c2","author":{"name":"MontyCarter","email":"cd0e244a9ff83221b62dbbe3618f22632564f367@gmail.com"},"message":"Update README.txt for pthread driver races to list contributor\n\nThese new benchmarks had been attributed to their source, but\nthe team contributing them to svcomp was not listed.  This commit\ncorrects this.","distinct":true,"url":"https://api.github.com/repos/smackers/sv-benchmarks/commits/19699f3f6211d33c7538893e015bf0f46b5ca2c2"}]}
{"actor":{"display_login":"MontyCarter"}}