{"push_id":937024718,"size":2,"distinct_size":2,"ref":"refs/heads/fix2000","head":"977d970b577cf5b1263de23b14b4ef7cc689d91c","before":"49657b9943c01088b92a48e6b2d6ca2834022160","commits":[{"sha":"8446538e3976c0485680d62d4289e13d5b357f05","author":{"email":"519a120efaf7723bd747e74f40d4b63e5731253d@gmail.com","name":"Cosmin Radoi"},"message":"remove dropQuote","distinct":true,"url":"https://api.github.com/repos/kframework/k/commits/8446538e3976c0485680d62d4289e13d5b357f05"},{"sha":"977d970b577cf5b1263de23b14b4ef7cc689d91c","author":{"email":"519a120efaf7723bd747e74f40d4b63e5731253d@gmail.com","name":"Cosmin Radoi"},"message":"Merge branch 'fix2000' of github.com:kframework/k into hotfix/fix2000","distinct":true,"url":"https://api.github.com/repos/kframework/k/commits/977d970b577cf5b1263de23b14b4ef7cc689d91c"}]}