{"push_id":623789570,"size":1,"distinct_size":1,"ref":"refs/heads/develop","head":"5e3e8a5457c31e14f9fade8e03233a7377092164","before":"b90c8651333662c145723e3fc12e811ea978103a","commits":[{"sha":"5e3e8a5457c31e14f9fade8e03233a7377092164","author":{"email":"67f06c87b36aeacfe6c2c920cb06c0f677dbf862@kuleuven.be","name":"Joris Gillis; u0052373"},"message":"#1342 None in setOption crash","distinct":true,"url":"https://api.github.com/repos/casadi/casadi/commits/5e3e8a5457c31e14f9fade8e03233a7377092164"}]}