{"push_id":549943226,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"32b56c6403a0bc84f0b599ebb69edb7d75d701db","before":"464c91c99122c94967734296afa3e2304bbe2cc2","commits":[{"sha":"32b56c6403a0bc84f0b599ebb69edb7d75d701db","author":{"email":"4b38046804243842e0627e1375074afd111a9101@cpptools.com","name":"shd"},"message":"Kripke into Heyting -> Disjunction property","distinct":true,"url":"https://api.github.com/repos/shd/logic2014/commits/32b56c6403a0bc84f0b599ebb69edb7d75d701db"}]}