{"push_id":946910402,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"f05189adf35e05d2e8d50021be5679065cca86e8","before":"f3b05a2b1de108665856eda4b25c7a1a37d6f88b","commits":[{"sha":"8c4884c7cd99d4a2d924a8c8ca6dd79efd784757","author":{"email":"10103554c33216623b4866a315659a9f7f8e2025","name":"unknown"},"message":"tst","distinct":true,"url":"https://api.github.com/repos/Juli016/ModelChecking/commits/8c4884c7cd99d4a2d924a8c8ca6dd79efd784757"},{"sha":"f05189adf35e05d2e8d50021be5679065cca86e8","author":{"email":"10103554c33216623b4866a315659a9f7f8e2025","name":"unknown"},"message":"Merge branch 'master' of http://github.com/Juli016/ModelChecking","distinct":true,"url":"https://api.github.com/repos/Juli016/ModelChecking/commits/f05189adf35e05d2e8d50021be5679065cca86e8"}]}