{"push_id":890956475,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"79ffb6011f97d3e44b1e0040c9cf1dc3b198d29f","before":"d2a2447edce87ac06cb1b7618651f0111d9041b0","commits":[{"sha":"79ffb6011f97d3e44b1e0040c9cf1dc3b198d29f","author":{"email":"b2b1165ad8f9325a29b18625862d44f2204f3d85@gmail.com","name":"Mark Farrell"},"message":"Update proposed-future-topics.md","distinct":true,"url":"https://api.github.com/repos/type-theory/type-theory-study-group-2015/commits/79ffb6011f97d3e44b1e0040c9cf1dc3b198d29f"}]}