{"action":"closed","issue":{"url":"https://api.github.com/repos/FStarLang/FStar/issues/569","repository_url":"https://api.github.com/repos/FStarLang/FStar","labels_url":"https://api.github.com/repos/FStarLang/FStar/issues/569/labels{/name}","comments_url":"https://api.github.com/repos/FStarLang/FStar/issues/569/comments","events_url":"https://api.github.com/repos/FStarLang/FStar/issues/569/events","html_url":"https://github.com/FStarLang/FStar/issues/569","id":163962201,"number":569,"title":"FStar.Comp and FStar.Relational are not ported to universes","user":{"login":"vkanne-msft","id":19714264,"avatar_url":"https://avatars.githubusercontent.com/u/19714264?v=3","gravatar_id":"","url":"https://api.github.com/users/vkanne-msft","html_url":"https://github.com/vkanne-msft","followers_url":"https://api.github.com/users/vkanne-msft/followers","following_url":"https://api.github.com/users/vkanne-msft/following{/other_user}","gists_url":"https://api.github.com/users/vkanne-msft/gists{/gist_id}","starred_url":"https://api.github.com/users/vkanne-msft/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/vkanne-msft/subscriptions","organizations_url":"https://api.github.com/users/vkanne-msft/orgs","repos_url":"https://api.github.com/users/vkanne-msft/repos","events_url":"https://api.github.com/users/vkanne-msft/events{/privacy}","received_events_url":"https://api.github.com/users/vkanne-msft/received_events","type":"User","site_admin":false},"labels":[],"state":"closed","locked":false,"assignee":{"login":"nikswamy","id":6163359,"avatar_url":"https://avatars.githubusercontent.com/u/6163359?v=3","gravatar_id":"","url":"https://api.github.com/users/nikswamy","html_url":"https://github.com/nikswamy","followers_url":"https://api.github.com/users/nikswamy/followers","following_url":"https://api.github.com/users/nikswamy/following{/other_user}","gists_url":"https://api.github.com/users/nikswamy/gists{/gist_id}","starred_url":"https://api.github.com/users/nikswamy/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/nikswamy/subscriptions","organizations_url":"https://api.github.com/users/nikswamy/orgs","repos_url":"https://api.github.com/users/nikswamy/repos","events_url":"https://api.github.com/users/nikswamy/events{/privacy}","received_events_url":"https://api.github.com/users/nikswamy/received_events","type":"User","site_admin":false},"assignees":[{"login":"nikswamy","id":6163359,"avatar_url":"https://avatars.githubusercontent.com/u/6163359?v=3","gravatar_id":"","url":"https://api.github.com/users/nikswamy","html_url":"https://github.com/nikswamy","followers_url":"https://api.github.com/users/nikswamy/followers","following_url":"https://api.github.com/users/nikswamy/following{/other_user}","gists_url":"https://api.github.com/users/nikswamy/gists{/gist_id}","starred_url":"https://api.github.com/users/nikswamy/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/nikswamy/subscriptions","organizations_url":"https://api.github.com/users/nikswamy/orgs","repos_url":"https://api.github.com/users/nikswamy/repos","events_url":"https://api.github.com/users/nikswamy/events{/privacy}","received_events_url":"https://api.github.com/users/nikswamy/received_events","type":"User","site_admin":false}],"milestone":{"url":"https://api.github.com/repos/FStarLang/FStar/milestones/3","html_url":"https://github.com/FStarLang/FStar/milestones/Universes%20Release","labels_url":"https://api.github.com/repos/FStarLang/FStar/milestones/3/labels","id":1833142,"number":3,"title":"Universes Release","description":"","creator":{"login":"vkanne-msft","id":19714264,"avatar_url":"https://avatars.githubusercontent.com/u/19714264?v=3","gravatar_id":"","url":"https://api.github.com/users/vkanne-msft","html_url":"https://github.com/vkanne-msft","followers_url":"https://api.github.com/users/vkanne-msft/followers","following_url":"https://api.github.com/users/vkanne-msft/following{/other_user}","gists_url":"https://api.github.com/users/vkanne-msft/gists{/gist_id}","starred_url":"https://api.github.com/users/vkanne-msft/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/vkanne-msft/subscriptions","organizations_url":"https://api.github.com/users/vkanne-msft/orgs","repos_url":"https://api.github.com/users/vkanne-msft/repos","events_url":"https://api.github.com/users/vkanne-msft/events{/privacy}","received_events_url":"https://api.github.com/users/vkanne-msft/received_events","type":"User","site_admin":false},"open_issues":7,"closed_issues":4,"state":"open","created_at":"2016-06-16T20:15:04Z","updated_at":"2016-07-06T10:35:51Z","due_on":"2016-08-20T07:00:00Z","closed_at":null},"comments":2,"created_at":"2016-07-05T22:39:31Z","updated_at":"2016-07-06T10:35:51Z","closed_at":"2016-07-06T10:35:51Z","body":"FStar.Comp and FStar.Relational are not ported to universes"}}
{"actor":{"display_login":"s-zanella"}}