{"push_id":3039985827,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"d0b41b514bb85d7385547af7969c53e1536d569c","before":"27563b7f109d53c4fbabec49763a58ae643631d6","commits":[{"sha":"65088e775d4e8f4664b6d1b24c07a7729543832b","author":{"name":"Peter Schrammel","email":"644cd02e1403dc68fa4d3b6ae4171f513505ac80@diffblue.com"},"message":"Remove unnecessary java.util.Random import from MinePump","distinct":true,"url":"https://api.github.com/repos/sosy-lab/sv-benchmarks/commits/65088e775d4e8f4664b6d1b24c07a7729543832b"},{"sha":"d0b41b514bb85d7385547af7969c53e1536d569c","author":{"name":"Dirk Beyer","email":"386a21e92f3928c26c3bfdc636aedf05dbb980b2@sosy-lab.org"},"message":"Merge pull request #665 from peterschrammel/java-cleanup-imports\n\nRemove unnecessary java.util.Random import from MinePump","distinct":true,"url":"https://api.github.com/repos/sosy-lab/sv-benchmarks/commits/d0b41b514bb85d7385547af7969c53e1536d569c"}]}
{"actor":{"display_login":"dbeyer"}}