{"push_id":1401015978,"size":1,"distinct_size":1,"ref":"refs/heads/bitvector-regression-cleanup","head":"149cc5bc37a812ea12a7dcba1ccbcac2ce43f9e8","before":"da47ae8e92ba409417c7a7d7ca2871948c964a49","commits":[{"sha":"149cc5bc37a812ea12a7dcba1ccbcac2ce43f9e8","author":{"name":"Philipp Wendler","email":"4daf4f0d85ca09ff1c0203a9f8c631d5f538d77e@philippwendler.de"},"message":"Remove another forgotten printf from bitvector-regression.","distinct":true,"url":"https://api.github.com/repos/sosy-lab/sv-benchmarks/commits/149cc5bc37a812ea12a7dcba1ccbcac2ce43f9e8"}]}
{"actor":{"display_login":"PhilippWendler"}}