{"push_id":736243065,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"e8d519e676d4ca70035a191778b0f762e1483246","before":"77b5bf3dca78f00e86d47ed2effa83047f94297b","commits":[{"sha":"e8d519e676d4ca70035a191778b0f762e1483246","author":{"email":"4984cf152bba84ebd962fe729757b886fce50134@web.de","name":"hansene"},"message":"Recognise B assertions error in the output of TLC","distinct":true,"url":"https://api.github.com/repos/hhu-stups/tlc4b/commits/e8d519e676d4ca70035a191778b0f762e1483246"}]}