{"push_id":546669167,"size":1,"distinct_size":1,"ref":"refs/heads/develop","head":"18329cbd70860d872d3e9b84de7d096d94a8d1a0","before":"a470c3908200c4ba801f0a82edffb363fd0917d7","commits":[{"sha":"18329cbd70860d872d3e9b84de7d096d94a8d1a0","author":{"email":"905aa5671dfdcebed9d7799eb9d1931ef0ccd189@gmail.com","name":"Joris Gillis"},"message":"making the linter happy","distinct":true,"url":"https://api.github.com/repos/casadi/casadi/commits/18329cbd70860d872d3e9b84de7d096d94a8d1a0"}]}