{"push_id":1032073011,"size":2,"distinct_size":1,"ref":"refs/heads/pipes","head":"97eef6d653b529a4d9188b4e695042646da93aac","before":"c83293bc79bd8308526d8ed8b011dae1af5ee25d","commits":[{"sha":"3eade62d48b97907177886f9e2d5ebfaab9c2777","author":{"email":"00928019b92765ccb30cad5c63086832238236bf@gmail.com","name":"Traian Florin Șerbănuță"},"message":"Merge pull request #13 from runtimeverification/barrier\n\nPassing negative test on barrier","distinct":false,"url":"https://api.github.com/repos/runtimeverification/racy-c-programs/commits/3eade62d48b97907177886f9e2d5ebfaab9c2777"},{"sha":"97eef6d653b529a4d9188b4e695042646da93aac","author":{"email":"00928019b92765ccb30cad5c63086832238236bf@gmail.com","name":"Traian Florin Serbanuta"},"message":"Merge branch 'master' into pipes","distinct":true,"url":"https://api.github.com/repos/runtimeverification/racy-c-programs/commits/97eef6d653b529a4d9188b4e695042646da93aac"}]}