{"action":"closed","issue":{"url":"https://api.github.com/repos/ptal/pcp/issues/4","repository_url":"https://api.github.com/repos/ptal/pcp","labels_url":"https://api.github.com/repos/ptal/pcp/issues/4/labels{/name}","comments_url":"https://api.github.com/repos/ptal/pcp/issues/4/comments","events_url":"https://api.github.com/repos/ptal/pcp/issues/4/events","html_url":"https://github.com/ptal/pcp/issues/4","id":54910483,"number":4,"title":"Observer constraints (on entailment condition)","user":{"login":"ptal","id":3127628,"avatar_url":"https://avatars.githubusercontent.com/u/3127628?v=3","gravatar_id":"","url":"https://api.github.com/users/ptal","html_url":"https://github.com/ptal","followers_url":"https://api.github.com/users/ptal/followers","following_url":"https://api.github.com/users/ptal/following{/other_user}","gists_url":"https://api.github.com/users/ptal/gists{/gist_id}","starred_url":"https://api.github.com/users/ptal/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ptal/subscriptions","organizations_url":"https://api.github.com/users/ptal/orgs","repos_url":"https://api.github.com/users/ptal/repos","events_url":"https://api.github.com/users/ptal/events{/privacy}","received_events_url":"https://api.github.com/users/ptal/received_events","type":"User","site_admin":false},"labels":[{"url":"https://api.github.com/repos/ptal/pcp/labels/discussion","name":"discussion","color":"c7def8"},{"url":"https://api.github.com/repos/ptal/pcp/labels/propagator","name":"propagator","color":"006b75"}],"state":"closed","locked":false,"assignee":null,"milestone":{"url":"https://api.github.com/repos/ptal/pcp/milestones/2","html_url":"https://github.com/ptal/pcp/milestones/v0.4%20solver%20usable%20for%20the%20language%20ntcc","labels_url":"https://api.github.com/repos/ptal/pcp/milestones/2/labels","id":947481,"number":2,"title":"v0.4 solver usable for the language ntcc","description":"","creator":{"login":"ptal","id":3127628,"avatar_url":"https://avatars.githubusercontent.com/u/3127628?v=3","gravatar_id":"","url":"https://api.github.com/users/ptal","html_url":"https://github.com/ptal","followers_url":"https://api.github.com/users/ptal/followers","following_url":"https://api.github.com/users/ptal/following{/other_user}","gists_url":"https://api.github.com/users/ptal/gists{/gist_id}","starred_url":"https://api.github.com/users/ptal/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ptal/subscriptions","organizations_url":"https://api.github.com/users/ptal/orgs","repos_url":"https://api.github.com/users/ptal/repos","events_url":"https://api.github.com/users/ptal/events{/privacy}","received_events_url":"https://api.github.com/users/ptal/received_events","type":"User","site_admin":false},"open_issues":0,"closed_issues":2,"state":"open","created_at":"2015-01-22T20:25:39Z","updated_at":"2016-05-05T07:59:27Z","due_on":null,"closed_at":null},"comments":2,"created_at":"2015-01-20T17:09:28Z","updated_at":"2016-05-05T07:59:27Z","closed_at":"2016-05-05T07:59:27Z","body":"probably a propagator encapsulating a closure and another propagator. The propagate method might be empty."}}