{"action":"created","issue":{"url":"https://api.github.com/repos/kframework/k/issues/2221","repository_url":"https://api.github.com/repos/kframework/k","labels_url":"https://api.github.com/repos/kframework/k/issues/2221/labels{/name}","comments_url":"https://api.github.com/repos/kframework/k/issues/2221/comments","events_url":"https://api.github.com/repos/kframework/k/issues/2221/events","html_url":"https://github.com/kframework/k/pull/2221","id":184077108,"number":2221,"title":"feature/kale backend","user":{"login":"cos","id":37514,"avatar_url":"https://avatars.githubusercontent.com/u/37514?v=3","gravatar_id":"","url":"https://api.github.com/users/cos","html_url":"https://github.com/cos","followers_url":"https://api.github.com/users/cos/followers","following_url":"https://api.github.com/users/cos/following{/other_user}","gists_url":"https://api.github.com/users/cos/gists{/gist_id}","starred_url":"https://api.github.com/users/cos/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/cos/subscriptions","organizations_url":"https://api.github.com/users/cos/orgs","repos_url":"https://api.github.com/users/cos/repos","events_url":"https://api.github.com/users/cos/events{/privacy}","received_events_url":"https://api.github.com/users/cos/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":1,"created_at":"2016-10-19T21:20:14Z","updated_at":"2016-10-20T17:13:24Z","closed_at":null,"pull_request":{"url":"https://api.github.com/repos/kframework/k/pulls/2221","html_url":"https://github.com/kframework/k/pull/2221","diff_url":"https://github.com/kframework/k/pull/2221.diff","patch_url":"https://github.com/kframework/k/pull/2221.patch"},"body":""},"comment":{"url":"https://api.github.com/repos/kframework/k/issues/comments/255168760","html_url":"https://github.com/kframework/k/pull/2221#issuecomment-255168760","issue_url":"https://api.github.com/repos/kframework/k/issues/2221","id":255168760,"user":{"login":"cos","id":37514,"avatar_url":"https://avatars.githubusercontent.com/u/37514?v=3","gravatar_id":"","url":"https://api.github.com/users/cos","html_url":"https://github.com/cos","followers_url":"https://api.github.com/users/cos/followers","following_url":"https://api.github.com/users/cos/following{/other_user}","gists_url":"https://api.github.com/users/cos/gists{/gist_id}","starred_url":"https://api.github.com/users/cos/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/cos/subscriptions","organizations_url":"https://api.github.com/users/cos/orgs","repos_url":"https://api.github.com/users/cos/repos","events_url":"https://api.github.com/users/cos/events{/privacy}","received_events_url":"https://api.github.com/users/cos/received_events","type":"User","site_admin":false},"created_at":"2016-10-20T17:13:24Z","updated_at":"2016-10-20T17:13:24Z","body":"@andreistefanescu, you already know what's in here, but have another look if you have time.\r\n@daejunpark, are you ok with how this is hooked into your new code?\r\n@lucaspena and @ehildenb, have a quick look.\r\n\r\nI left a few methods unimplemented because @msaxena2 will change the interfaces soon anyhow.\r\nThe code is not well documented, so please call me out on the nastier/harder to understand bits."}}
{"actor":{"display_login":"cos"}}