{"action":"created","issue":{"url":"https://api.github.com/repos/kframework/k/issues/2197","repository_url":"https://api.github.com/repos/kframework/k","labels_url":"https://api.github.com/repos/kframework/k/issues/2197/labels{/name}","comments_url":"https://api.github.com/repos/kframework/k/issues/2197/comments","events_url":"https://api.github.com/repos/kframework/k/issues/2197/events","html_url":"https://github.com/kframework/k/pull/2197","id":171119292,"number":2197,"title":"Remove DI + Cleanup API + EquivChecker","user":{"login":"daejunpark","id":5491770,"avatar_url":"https://avatars.githubusercontent.com/u/5491770?v=3","gravatar_id":"","url":"https://api.github.com/users/daejunpark","html_url":"https://github.com/daejunpark","followers_url":"https://api.github.com/users/daejunpark/followers","following_url":"https://api.github.com/users/daejunpark/following{/other_user}","gists_url":"https://api.github.com/users/daejunpark/gists{/gist_id}","starred_url":"https://api.github.com/users/daejunpark/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/daejunpark/subscriptions","organizations_url":"https://api.github.com/users/daejunpark/orgs","repos_url":"https://api.github.com/users/daejunpark/repos","events_url":"https://api.github.com/users/daejunpark/events{/privacy}","received_events_url":"https://api.github.com/users/daejunpark/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":2,"created_at":"2016-08-15T07:08:13Z","updated_at":"2016-09-12T14:49:53Z","closed_at":null,"pull_request":{"url":"https://api.github.com/repos/kframework/k/pulls/2197","html_url":"https://github.com/kframework/k/pull/2197","diff_url":"https://github.com/kframework/k/pull/2197.diff","patch_url":"https://github.com/kframework/k/pull/2197.patch"},"body":"Do not merge. Only for the review purpose."},"comment":{"url":"https://api.github.com/repos/kframework/k/issues/comments/246372431","html_url":"https://github.com/kframework/k/pull/2197#issuecomment-246372431","issue_url":"https://api.github.com/repos/kframework/k/issues/2197","id":246372431,"user":{"login":"daejunpark","id":5491770,"avatar_url":"https://avatars.githubusercontent.com/u/5491770?v=3","gravatar_id":"","url":"https://api.github.com/users/daejunpark","html_url":"https://github.com/daejunpark","followers_url":"https://api.github.com/users/daejunpark/followers","following_url":"https://api.github.com/users/daejunpark/following{/other_user}","gists_url":"https://api.github.com/users/daejunpark/gists{/gist_id}","starred_url":"https://api.github.com/users/daejunpark/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/daejunpark/subscriptions","organizations_url":"https://api.github.com/users/daejunpark/orgs","repos_url":"https://api.github.com/users/daejunpark/repos","events_url":"https://api.github.com/users/daejunpark/events{/privacy}","received_events_url":"https://api.github.com/users/daejunpark/received_events","type":"User","site_admin":false},"created_at":"2016-09-12T14:49:53Z","updated_at":"2016-09-12T14:49:53Z","body":"@grosu I'll definitely make this PR reviewable and take care of merging it once the ancestors are merged."}}
{"actor":{"display_login":"daejunpark"}}