{"push_id":783778347,"size":1,"distinct_size":1,"ref":"refs/heads/kore-io","head":"cd0583f43e80dd2efc1a2617541fef905cb34f62","before":"a6781d29b6b3383db495f7ecb53ebed0d1b70538","commits":[{"sha":"cd0583f43e80dd2efc1a2617541fef905cb34f62","author":{"email":"59d1cd2ce867e8758eabcb5bed917514e2371d2d@gmail.com","name":"Daejun Park"},"message":"pipeline","distinct":true,"url":"https://api.github.com/repos/kframework/k/commits/cd0583f43e80dd2efc1a2617541fef905cb34f62"}]}