{"action":"created","issue":{"url":"https://api.github.com/repos/kframework/k/issues/2045","labels_url":"https://api.github.com/repos/kframework/k/issues/2045/labels{/name}","comments_url":"https://api.github.com/repos/kframework/k/issues/2045/comments","events_url":"https://api.github.com/repos/kframework/k/issues/2045/events","html_url":"https://github.com/kframework/k/pull/2045","id":126806553,"number":2045,"title":"fix caching issue + refactoring","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":{"login":"dwightguth","id":5104541,"avatar_url":"https://avatars.githubusercontent.com/u/5104541?v=3","gravatar_id":"","url":"https://api.github.com/users/dwightguth","html_url":"https://github.com/dwightguth","followers_url":"https://api.github.com/users/dwightguth/followers","following_url":"https://api.github.com/users/dwightguth/following{/other_user}","gists_url":"https://api.github.com/users/dwightguth/gists{/gist_id}","starred_url":"https://api.github.com/users/dwightguth/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/dwightguth/subscriptions","organizations_url":"https://api.github.com/users/dwightguth/orgs","repos_url":"https://api.github.com/users/dwightguth/repos","events_url":"https://api.github.com/users/dwightguth/events{/privacy}","received_events_url":"https://api.github.com/users/dwightguth/received_events","type":"User","site_admin":false},"milestone":{"url":"https://api.github.com/repos/kframework/k/milestones/12","html_url":"https://github.com/kframework/k/milestones/4.0%20beta","labels_url":"https://api.github.com/repos/kframework/k/milestones/12/labels","id":1435572,"number":12,"title":"4.0 beta","description":"","creator":{"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},"open_issues":21,"closed_issues":39,"state":"open","created_at":"2015-11-30T16:25:24Z","updated_at":"2016-01-15T04:40:06Z","due_on":"2016-01-15T08:00:00Z","closed_at":null},"comments":5,"created_at":"2016-01-15T04:40:06Z","updated_at":"2016-01-15T18:19:42Z","closed_at":null,"pull_request":{"url":"https://api.github.com/repos/kframework/k/pulls/2045","html_url":"https://github.com/kframework/k/pull/2045","diff_url":"https://github.com/kframework/k/pull/2045.diff","patch_url":"https://github.com/kframework/k/pull/2045.patch"},"body":""},"comment":{"url":"https://api.github.com/repos/kframework/k/issues/comments/172041918","html_url":"https://github.com/kframework/k/pull/2045#issuecomment-172041918","issue_url":"https://api.github.com/repos/kframework/k/issues/2045","id":172041918,"user":{"login":"radumereuta","id":5113255,"avatar_url":"https://avatars.githubusercontent.com/u/5113255?v=3","gravatar_id":"","url":"https://api.github.com/users/radumereuta","html_url":"https://github.com/radumereuta","followers_url":"https://api.github.com/users/radumereuta/followers","following_url":"https://api.github.com/users/radumereuta/following{/other_user}","gists_url":"https://api.github.com/users/radumereuta/gists{/gist_id}","starred_url":"https://api.github.com/users/radumereuta/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/radumereuta/subscriptions","organizations_url":"https://api.github.com/users/radumereuta/orgs","repos_url":"https://api.github.com/users/radumereuta/repos","events_url":"https://api.github.com/users/radumereuta/events{/privacy}","received_events_url":"https://api.github.com/users/radumereuta/received_events","type":"User","site_admin":false},"created_at":"2016-01-15T18:19:42Z","updated_at":"2016-01-15T18:19:42Z","body":"I haven't spent too much time trying to understand the original refactoring, so @dwightguth if you are happy with the PR, go ahead and merge. I tested it and it appears to report the correct number of cached rules."}}