{"push_id":803258777,"size":1,"distinct_size":1,"ref":"refs/heads/tests-debian","head":"c6f116c0507cd45aea968884e4e140040015f45c","before":"4168f47ff3cdb4394cd0760ebdfd86fc37ab37a3","commits":[{"sha":"c6f116c0507cd45aea968884e4e140040015f45c","author":{"email":"18b3417ba374eaf3ad4b67b014b8678aef44e242@casadidev.org","name":"casaditestbot"},"message":"automatic test commit 1d7bb1f","distinct":true,"url":"https://api.github.com/repos/casadi/binaries/commits/c6f116c0507cd45aea968884e4e140040015f45c"}]}