{"push_id":1279119770,"size":1,"distinct_size":1,"ref":"refs/heads/inductive_compiler","head":"528c335ca35f5ce3eaf38940c377330f4d127a6a","before":"3d3ce7ae4ed3bab260110d95d5a9c4fd962293bf","commits":[{"sha":"528c335ca35f5ce3eaf38940c377330f4d127a6a","author":{"name":"Daniel Selsam","email":"8f1d6bb0bd9093ce0d9331b3ca37599085cf96af@gmail.com"},"message":"minor","distinct":true,"url":"https://api.github.com/repos/dselsam/lean/commits/528c335ca35f5ce3eaf38940c377330f4d127a6a"}]}
{"actor":{"display_login":"dselsam"}}