{"push_id":1264214722,"size":3,"distinct_size":3,"ref":"refs/heads/inductive_compiler","head":"0b83acb7325011bc47098e59e5ea33f7bab4dd35","before":"8a39cb1f83173b3234962cb46e933cae64aa7953","commits":[{"sha":"4e135dc1b5adcc66841ac8cc36aa50f77f36e156","author":{"name":"Daniel Selsam","email":"8f1d6bb0bd9093ce0d9331b3ca37599085cf96af@gmail.com"},"message":"still missing positive occurrences","distinct":true,"url":"https://api.github.com/repos/dselsam/lean/commits/4e135dc1b5adcc66841ac8cc36aa50f77f36e156"},{"sha":"0e3194b50320f30df95eb66c8c2194207c1d7d87","author":{"name":"Daniel Selsam","email":"8f1d6bb0bd9093ce0d9331b3ca37599085cf96af@gmail.com"},"message":"fix pos in rec type","distinct":true,"url":"https://api.github.com/repos/dselsam/lean/commits/0e3194b50320f30df95eb66c8c2194207c1d7d87"},{"sha":"0b83acb7325011bc47098e59e5ea33f7bab4dd35","author":{"name":"Daniel Selsam","email":"8f1d6bb0bd9093ce0d9331b3ca37599085cf96af@gmail.com"},"message":"mut rec working","distinct":true,"url":"https://api.github.com/repos/dselsam/lean/commits/0b83acb7325011bc47098e59e5ea33f7bab4dd35"}]}
{"actor":{"display_login":"dselsam"}}