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