{"push_id":975535618,"size":3,"distinct_size":3,"ref":"refs/heads/master","head":"0123da4fc8be915112d99a32d2e895d614520cb8","before":"bdf461a4cbc88125c81f73258b0468fabfd11ee1","commits":[{"sha":"20d68e93ca38d54e068e2111c1dbb4e959bd45da","author":{"email":"1d6e1cf70ec6f9ab28d3ea4b27a49a77654d370e@joachim-breitner.de","name":"Joachim Breitner"},"message":"Relax requirement on fv (subst s v)","distinct":true,"url":"https://api.github.com/repos/nomeata/isa-incredible/commits/20d68e93ca38d54e068e2111c1dbb4e959bd45da"},{"sha":"2db038e46399def70a499b9a0bbe9e8868cfe723","author":{"email":"1d6e1cf70ec6f9ab28d3ea4b27a49a77654d370e@joachim-breitner.de","name":"Joachim Breitner"},"message":"Introduce the notion of a terminal path","distinct":true,"url":"https://api.github.com/repos/nomeata/isa-incredible/commits/2db038e46399def70a499b9a0bbe9e8868cfe723"},{"sha":"0123da4fc8be915112d99a32d2e895d614520cb8","author":{"email":"1d6e1cf70ec6f9ab28d3ea4b27a49a77654d370e@joachim-breitner.de","name":"Joachim Breitner"},"message":"Introduce an elaborated tree","distinct":true,"url":"https://api.github.com/repos/nomeata/isa-incredible/commits/0123da4fc8be915112d99a32d2e895d614520cb8"}]}