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