{"push_id":940327812,"size":1,"distinct_size":1,"ref":"refs/heads/tutorial-kool-typed-dynamic","head":"8b1bf263804c7fb70c7fadc57e0bc22593189674","before":"3bb59e78face2928f2e2e1a6ae51d50227ad2fe7","commits":[{"sha":"8b1bf263804c7fb70c7fadc57e0bc22593189674","author":{"email":"59d1cd2ce867e8758eabcb5bed917514e2371d2d@gmail.com","name":"Daejun Park"},"message":"fix copyright","distinct":true,"url":"https://api.github.com/repos/kframework/k/commits/8b1bf263804c7fb70c7fadc57e0bc22593189674"}]}