{"push_id":647538638,"size":1,"distinct_size":1,"ref":"refs/heads/UpgradePatternMatching","head":"c338b13db2d9df18f6eb04a79de63924c37ea63e","before":"37e6edaf6311436fca43c3642bc02f70a5ff486b","commits":[{"sha":"c338b13db2d9df18f6eb04a79de63924c37ea63e","author":{"email":"1a3d80317f2eceab82b71faafb4ac148d8a2107d@gmail.com","name":"samminweng"},"message":"Removed the duplicate loop byte-code from 'loop_header' part of\ntransformed BuildListFirst pattern.","distinct":true,"url":"https://api.github.com/repos/samminweng/WhileyOpenCL/commits/c338b13db2d9df18f6eb04a79de63924c37ea63e"}]}