{"push_id":698922976,"size":1,"distinct_size":1,"ref":"refs/heads/iff","head":"1b8ed7b792592690c7ae20a1f15d3e570a773960","before":"3d3e66c624e44ecaaf861de48e4c36e3b0eb71d3","commits":[{"sha":"1b8ed7b792592690c7ae20a1f15d3e570a773960","author":{"email":"222b3e11200d82d61f1b89533e59175f71d23972@uni-bonn.de","name":"danielgerigk"},"message":"if and only if","distinct":true,"url":"https://api.github.com/repos/danielgerigk/book/commits/1b8ed7b792592690c7ae20a1f15d3e570a773960"}]}