{"push_id":1447482022,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"ec93aa043b3afb10224e39b8c6006755b03f31c7","before":"10eeaad76132ff6241234e86012185d4a8a73842","commits":[{"sha":"ec93aa043b3afb10224e39b8c6006755b03f31c7","author":{"name":"Aise Johan de Jong","email":"330e4711282173ccf05dc4cfc61c87ce9f191f68@gmail.com"},"message":"Fix proof added in a9dc5b4\n\nJust an idiotic error: using ampleness when this is what we are trying\nto prove! Also, now it states the principle that makes the thing true as\na separate lemma which is always desirable.","distinct":true,"url":"https://api.github.com/repos/stacks/stacks-project/commits/ec93aa043b3afb10224e39b8c6006755b03f31c7"}]}
{"actor":{"display_login":"aisejohan"}}