{"push_id":735895778,"size":1,"distinct_size":1,"ref":"refs/heads/cgoptions","head":"f5bff01f6bdf95a69dab5cc9c98e2808af3e4f86","before":"6fba511ea4eeea7f0ae05bd3b91033f6d333ce30","commits":[{"sha":"f5bff01f6bdf95a69dab5cc9c98e2808af3e4f86","author":{"email":"61ebf6bc14ce01e4cc9d59ee9f469c902ea13918@mm.st","name":"Niklas Larsson"},"message":"Pass parameters to codegens with new cmdoption --cg-opt\n\nFixes #1482","distinct":true,"url":"https://api.github.com/repos/melted/Idris-dev/commits/f5bff01f6bdf95a69dab5cc9c98e2808af3e4f86"}]}