{"push_id":725257533,"size":1,"distinct_size":1,"ref":"refs/heads/docs-local","head":"71a53776ed5d2469dbed3df20d71436eda949ded","before":"77955799a6a8e5638f5d285d9147121e7fbb5071","commits":[{"sha":"71a53776ed5d2469dbed3df20d71436eda949ded","author":{"email":"18b3417ba374eaf3ad4b67b014b8678aef44e242@casadidev.org","name":"casaditestbot"},"message":"automatic runner commit 27a76a2","distinct":true,"url":"https://api.github.com/repos/casadi/binaries/commits/71a53776ed5d2469dbed3df20d71436eda949ded"}]}