{"push_id":986302913,"size":1,"distinct_size":1,"ref":"refs/heads/develop","head":"6ba288ec87b803ce63b2b94d14423b92b54dbe00","before":"e6936a4d7c78c8b859cbb4247c4716e73b0874a0","commits":[{"sha":"6ba288ec87b803ce63b2b94d14423b92b54dbe00","author":{"email":"5e7b5605af2e633ff9e316dbe31a77a1429bb389@gmail.com","name":"Joel Andersson"},"message":"Issue #1693: Deprecated old Function::operator()","distinct":true,"url":"https://api.github.com/repos/casadi/casadi/commits/6ba288ec87b803ce63b2b94d14423b92b54dbe00"}]}