{"push_id":836014427,"size":1,"distinct_size":1,"ref":"refs/heads/feature/pattern-match-automaton","head":"860bb9187d7272b3d5a19559a6db9743ae587501","before":"4e459a4be72f192302c0b6ad3700e0d0e6f2729d","commits":[{"sha":"860bb9187d7272b3d5a19559a6db9743ae587501","author":{"email":"519a120efaf7723bd747e74f40d4b63e5731253d@gmail.com","name":"Cosmin Radoi"},"message":"documentation and a bit of clean-up","distinct":true,"url":"https://api.github.com/repos/kframework/k/commits/860bb9187d7272b3d5a19559a6db9743ae587501"}]}