{"push_id":2416226165,"size":2,"distinct_size":1,"ref":"refs/heads/master","head":"1e39e19b940a92e7c46ee09d9406accae18cb760","before":"11cfca5837c4ac84c3e86e7021c88b57250cf8b5","commits":[{"sha":"d326515c614091154db2d0b5dbbdf08079d6e5c0","author":{"name":"Stephan Boyer","email":"67d7d0d9e0847ba6bd193435934391b80891ff8f@stephanboyer.com"},"message":"Use 'Theorem' instead of 'Lemma' everywhere","distinct":false,"url":"https://api.github.com/repos/stepchowfun/proofs/commits/d326515c614091154db2d0b5dbbdf08079d6e5c0"},{"sha":"1e39e19b940a92e7c46ee09d9406accae18cb760","author":{"name":"Stephan Boyer","email":"67d7d0d9e0847ba6bd193435934391b80891ff8f@stephanboyer.com"},"message":"Merge pull request #119 from stepchowfun/theorem\n\nUse 'Theorem' instead of 'Lemma' everywhere","distinct":true,"url":"https://api.github.com/repos/stepchowfun/proofs/commits/1e39e19b940a92e7c46ee09d9406accae18cb760"}]}
{"actor":{"display_login":"stepchowfun"}}