{"push_id":840257950,"size":1,"distinct_size":1,"ref":"refs/heads/debian-standalone","head":"1d48c559ffe99e2e567adb07ae43b18bc43af373","before":"53792f61ff7bb1df1a67ea082008ff3df1f2386d","commits":[{"sha":"1d48c559ffe99e2e567adb07ae43b18bc43af373","author":{"email":"18b3417ba374eaf3ad4b67b014b8678aef44e242@casadidev.org","name":"casaditestbot"},"message":"automatic runner commit 9073d52","distinct":true,"url":"https://api.github.com/repos/casadi/binaries/commits/1d48c559ffe99e2e567adb07ae43b18bc43af373"}]}