{"action":"created","issue":{"url":"https://api.github.com/repos/mitls/mitls-fstar/issues/123","repository_url":"https://api.github.com/repos/mitls/mitls-fstar","labels_url":"https://api.github.com/repos/mitls/mitls-fstar/issues/123/labels{/name}","comments_url":"https://api.github.com/repos/mitls/mitls-fstar/issues/123/comments","events_url":"https://api.github.com/repos/mitls/mitls-fstar/issues/123/events","html_url":"https://github.com/mitls/mitls-fstar/issues/123","id":173588544,"number":123,"title":"Setting up a Docker based Development environment","user":{"login":"markulf","id":9845640,"avatar_url":"https://avatars.githubusercontent.com/u/9845640?v=3","gravatar_id":"","url":"https://api.github.com/users/markulf","html_url":"https://github.com/markulf","followers_url":"https://api.github.com/users/markulf/followers","following_url":"https://api.github.com/users/markulf/following{/other_user}","gists_url":"https://api.github.com/users/markulf/gists{/gist_id}","starred_url":"https://api.github.com/users/markulf/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/markulf/subscriptions","organizations_url":"https://api.github.com/users/markulf/orgs","repos_url":"https://api.github.com/users/markulf/repos","events_url":"https://api.github.com/users/markulf/events{/privacy}","received_events_url":"https://api.github.com/users/markulf/received_events","type":"User","site_admin":false},"labels":[{"url":"https://api.github.com/repos/mitls/mitls-fstar/labels/usability","name":"usability","color":"c2e0c6"}],"state":"open","locked":false,"assignee":{"login":"markulf","id":9845640,"avatar_url":"https://avatars.githubusercontent.com/u/9845640?v=3","gravatar_id":"","url":"https://api.github.com/users/markulf","html_url":"https://github.com/markulf","followers_url":"https://api.github.com/users/markulf/followers","following_url":"https://api.github.com/users/markulf/following{/other_user}","gists_url":"https://api.github.com/users/markulf/gists{/gist_id}","starred_url":"https://api.github.com/users/markulf/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/markulf/subscriptions","organizations_url":"https://api.github.com/users/markulf/orgs","repos_url":"https://api.github.com/users/markulf/repos","events_url":"https://api.github.com/users/markulf/events{/privacy}","received_events_url":"https://api.github.com/users/markulf/received_events","type":"User","site_admin":false},"assignees":[{"login":"markulf","id":9845640,"avatar_url":"https://avatars.githubusercontent.com/u/9845640?v=3","gravatar_id":"","url":"https://api.github.com/users/markulf","html_url":"https://github.com/markulf","followers_url":"https://api.github.com/users/markulf/followers","following_url":"https://api.github.com/users/markulf/following{/other_user}","gists_url":"https://api.github.com/users/markulf/gists{/gist_id}","starred_url":"https://api.github.com/users/markulf/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/markulf/subscriptions","organizations_url":"https://api.github.com/users/markulf/orgs","repos_url":"https://api.github.com/users/markulf/repos","events_url":"https://api.github.com/users/markulf/events{/privacy}","received_events_url":"https://api.github.com/users/markulf/received_events","type":"User","site_admin":false},{"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}],"milestone":{"url":"https://api.github.com/repos/mitls/mitls-fstar/milestones/2","html_url":"https://github.com/mitls/mitls-fstar/milestones/Milestone%20%231%20(curl)","labels_url":"https://api.github.com/repos/mitls/mitls-fstar/milestones/2/labels","id":1687640,"number":2,"title":"Milestone #1 (curl)","description":"cURL integration\r\nTLS1.3 verified\r\nTLS1.2 Features - Renegotiation/Resumption\r\nIntegration of Cypto algorithms","creator":{"login":"sishtiaq","id":4727977,"avatar_url":"https://avatars.githubusercontent.com/u/4727977?v=3","gravatar_id":"","url":"https://api.github.com/users/sishtiaq","html_url":"https://github.com/sishtiaq","followers_url":"https://api.github.com/users/sishtiaq/followers","following_url":"https://api.github.com/users/sishtiaq/following{/other_user}","gists_url":"https://api.github.com/users/sishtiaq/gists{/gist_id}","starred_url":"https://api.github.com/users/sishtiaq/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/sishtiaq/subscriptions","organizations_url":"https://api.github.com/users/sishtiaq/orgs","repos_url":"https://api.github.com/users/sishtiaq/repos","events_url":"https://api.github.com/users/sishtiaq/events{/privacy}","received_events_url":"https://api.github.com/users/sishtiaq/received_events","type":"User","site_admin":false},"open_issues":36,"closed_issues":8,"state":"open","created_at":"2016-04-06T15:31:52Z","updated_at":"2016-09-09T18:06:49Z","due_on":"2016-10-14T07:00:00Z","closed_at":null},"comments":9,"created_at":"2016-08-27T09:53:08Z","updated_at":"2016-09-13T15:08:39Z","closed_at":null,"body":"This is likely just a question of updating\r\nhttps://github.com/mitls/mitls-fstar/wiki/Setting-up-a-Docker-based-Development-environment\r\nto include some Windows details.\r\n\r\nWe should also warn against mounting a repository that is already otherwise in use, as I suspect this would lead to trouble."},"comment":{"url":"https://api.github.com/repos/mitls/mitls-fstar/issues/comments/246713628","html_url":"https://github.com/mitls/mitls-fstar/issues/123#issuecomment-246713628","issue_url":"https://api.github.com/repos/mitls/mitls-fstar/issues/123","id":246713628,"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},"created_at":"2016-09-13T15:08:39Z","updated_at":"2016-09-13T15:08:39Z","body":"I agree. We should converge all of those into 1.\r\n\r\nFrom: Markulf Kohlweiss <notifications@github.com>\r\nReply-To: mitls/mitls-fstar <reply@reply.github.com>\r\nDate: Tuesday, September 13, 2016 at 8:00 AM\r\nTo: mitls/mitls-fstar <mitls-fstar@noreply.github.com>\r\nCc: Sreekanth Kannepalli <vkanne@microsoft.com>, Assign <assign@noreply.github.com>\r\nSubject: Re: [mitls/mitls-fstar] Setting up a Docker based Development environment (#123)\r\n\r\n\r\nthere are also 3 different tocker files in F* one without emacs, one with emacs, and one with command line emacs only, that seems a bit of overkill as well.\r\n\r\n—\r\nYou are receiving this because you were assigned.\r\nReply to this email directly, view it on GitHub<https://na01.safelinks.protection.outlook.com/?url=https%3a%2f%2fgithub.com%2fmitls%2fmitls-fstar%2fissues%2f123%23issuecomment-246711083&data=02%7c01%7cvkanne%40microsoft.com%7c91184087afdf4b2043ec08d3dbe6dd55%7c72f988bf86f141af91ab2d7cd011db47%7c1%7c0%7c636093757022414229&sdata=Jb2EOqvKPmk2ZUK0HGUyEPPwNAg7IrU1UQ6%2bA3Pu%2b94%3d>, or mute the thread<https://na01.safelinks.protection.outlook.com/?url=https%3a%2f%2fgithub.com%2fnotifications%2funsubscribe-auth%2fASzQ2LGp1KHOg-8gEBG7RMhoNnER-VYcks5qprqrgaJpZM4JuqVB&data=02%7c01%7cvkanne%40microsoft.com%7c91184087afdf4b2043ec08d3dbe6dd55%7c72f988bf86f141af91ab2d7cd011db47%7c1%7c0%7c636093757022414229&sdata=63EhdFiD9JaQ53esQRHN34lxS%2fvJqq5d4R%2fLvKpMqw0%3d>.\r\n"}}
{"actor":{"display_login":"vkanne-msft"}}