{"push_id":861906572,"size":3,"distinct_size":3,"ref":"refs/heads/fuse","head":"434064e6d21c75bf220197388fcf329c21901bfe","before":"76c4b4cb4bdbeb614a7d8d07e8e3c69ee6c79417","commits":[{"sha":"e826e375720b04e91adcc07159e809d392175417","author":{"email":"05c7c2712eab81287658c607466a3eb2b59dcd80@gmail.com","name":"Daniel Selsam"},"message":"Progress, need partial app_builders","distinct":true,"url":"https://api.github.com/repos/dselsam/lean/commits/e826e375720b04e91adcc07159e809d392175417"},{"sha":"8359194325bee2d4945834858ae844ca708fd228","author":{"email":"05c7c2712eab81287658c607466a3eb2b59dcd80@gmail.com","name":"Daniel Selsam"},"message":"some progress","distinct":true,"url":"https://api.github.com/repos/dselsam/lean/commits/8359194325bee2d4945834858ae844ca708fd228"},{"sha":"434064e6d21c75bf220197388fcf329c21901bfe","author":{"email":"05c7c2712eab81287658c607466a3eb2b59dcd80@gmail.com","name":"Daniel Selsam"},"message":"different tracing","distinct":true,"url":"https://api.github.com/repos/dselsam/lean/commits/434064e6d21c75bf220197388fcf329c21901bfe"}]}