{"push_id":693196681,"size":2,"distinct_size":2,"ref":"refs/heads/release-2.3.0-rc3","head":"acd3ddc00bbf699ec3cc33c80294eb59bef38482","before":"1bd026e3344af11505a8dd9b41cc8c1ba0d9260b","commits":[{"sha":"52a94fb785d44f23fd2d72b6287190a05deed62b","author":{"email":"67f06c87b36aeacfe6c2c920cb06c0f677dbf862@kuleuven.be","name":"Joris Gillis; u0052373"},"message":"trim down what is exported to doc.i","distinct":true,"url":"https://api.github.com/repos/casadi/casadi/commits/52a94fb785d44f23fd2d72b6287190a05deed62b"},{"sha":"acd3ddc00bbf699ec3cc33c80294eb59bef38482","author":{"email":"67f06c87b36aeacfe6c2c920cb06c0f677dbf862@kuleuven.be","name":"Joris Gillis; u0052373"},"message":"Merge branch 'release-2.3.0-rc3' of github.com:casadi/casadi into release-2.3.0-rc3","distinct":true,"url":"https://api.github.com/repos/casadi/casadi/commits/acd3ddc00bbf699ec3cc33c80294eb59bef38482"}]}