{"push_id":734139470,"size":1,"distinct_size":1,"ref":"refs/heads/develop","head":"4391338c9292f8c86e7d662f40acd2fa6afebb95","before":"072ecbf06d23389df73bdbc243355e3207a01d29","commits":[{"sha":"4391338c9292f8c86e7d662f40acd2fa6afebb95","author":{"email":"67f06c87b36aeacfe6c2c920cb06c0f677dbf862@kuleuven.be","name":"Joris Gillis; u0052373"},"message":"issue #1064: adding more unittests for map","distinct":true,"url":"https://api.github.com/repos/casadi/casadi/commits/4391338c9292f8c86e7d662f40acd2fa6afebb95"}]}