{"push_id":850582823,"size":1,"distinct_size":1,"ref":"refs/heads/fix/master/cleanup-deprecated-ffi","head":"7bcab73c04d854b891de93119b0585ef8851b62b","before":"731c6e4207cd1e649d4cbaadb5ecc48d2dec435f","commits":[{"sha":"7bcab73c04d854b891de93119b0585ef8851b62b","author":{"email":"a19d077ac0035b433598a0cbcf8abfe335b46bd9@member.fsf.org","name":"Jacob Mitchell"},"message":"Remove discussion of deprecated FFI","distinct":true,"url":"https://api.github.com/repos/jmitchell/Idris-dev/commits/7bcab73c04d854b891de93119b0585ef8851b62b"}]}