{"push_id":3141460300,"size":1,"distinct_size":1,"ref":"refs/heads/initiality","head":"d31b39753fdfa591de87cfea04b43da788bd837f","before":"35e0c85fb7042416a9ee5fe87bdc2709ac0a5abb","commits":[{"sha":"d31b39753fdfa591de87cfea04b43da788bd837f","author":{"name":"Peter LeFanu Lumsdaine","email":"964ea4c877d09f40c9ebf440144412a6c8250291@gmail.com"},"message":"Proved functoriality of interpretation map (but Qed very slow)","distinct":true,"url":"https://api.github.com/repos/mortberg/TypeTheory/commits/d31b39753fdfa591de87cfea04b43da788bd837f"}]}
{"actor":{"display_login":"peterlefanulumsdaine"}}