{"action":"closed","issue":{"url":"https://api.github.com/repos/FStarLang/FStar/issues/557","repository_url":"https://api.github.com/repos/FStarLang/FStar","labels_url":"https://api.github.com/repos/FStarLang/FStar/issues/557/labels{/name}","comments_url":"https://api.github.com/repos/FStarLang/FStar/issues/557/comments","events_url":"https://api.github.com/repos/FStarLang/FStar/issues/557/events","html_url":"https://github.com/FStarLang/FStar/issues/557","id":161440295,"number":557,"title":"Interactive mode for interfaces/implementations when files are split between FSTI and FST ","user":{"login":"vkanne-msft","id":19714264,"avatar_url":"https://avatars2.githubusercontent.com/u/19714264?v=4","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":[{"id":90066078,"url":"https://api.github.com/repos/FStarLang/FStar/labels/enhancement","name":"enhancement","color":"84b6eb","default":true},{"id":396196712,"url":"https://api.github.com/repos/FStarLang/FStar/labels/everest","name":"everest","color":"d4c5f9","default":false},{"id":262694453,"url":"https://api.github.com/repos/FStarLang/FStar/labels/usability","name":"usability","color":"009800","default":false}],"state":"closed","locked":false,"assignee":{"login":"nikswamy","id":6163359,"avatar_url":"https://avatars0.githubusercontent.com/u/6163359?v=4","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://avatars0.githubusercontent.com/u/6163359?v=4","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},{"login":"fournet","id":8256603,"avatar_url":"https://avatars1.githubusercontent.com/u/8256603?v=4","gravatar_id":"","url":"https://api.github.com/users/fournet","html_url":"https://github.com/fournet","followers_url":"https://api.github.com/users/fournet/followers","following_url":"https://api.github.com/users/fournet/following{/other_user}","gists_url":"https://api.github.com/users/fournet/gists{/gist_id}","starred_url":"https://api.github.com/users/fournet/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/fournet/subscriptions","organizations_url":"https://api.github.com/users/fournet/orgs","repos_url":"https://api.github.com/users/fournet/repos","events_url":"https://api.github.com/users/fournet/events{/privacy}","received_events_url":"https://api.github.com/users/fournet/received_events","type":"User","site_admin":false}],"milestone":{"url":"https://api.github.com/repos/FStarLang/FStar/milestones/1","html_url":"https://github.com/FStarLang/FStar/milestone/1","labels_url":"https://api.github.com/repos/FStarLang/FStar/milestones/1/labels","id":1833046,"number":1,"title":"Milestone 1","description":null,"creator":{"login":"vkanne-msft","id":19714264,"avatar_url":"https://avatars2.githubusercontent.com/u/19714264?v=4","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":9,"closed_issues":10,"state":"open","created_at":"2016-06-16T19:20:20Z","updated_at":"2017-10-09T15:19:48Z","due_on":null,"closed_at":null},"comments":2,"created_at":"2016-06-21T13:43:04Z","updated_at":"2017-10-09T15:19:48Z","closed_at":"2017-10-09T15:19:48Z","author_association":"CONTRIBUTOR","body":"Interactive mode is broken when files are split into fsti and fst\n"}}
{"actor":{"display_login":"nikswamy"}}