{"action":"created","issue":{"url":"https://api.github.com/repos/DeDiS/prifi/issues/19","labels_url":"https://api.github.com/repos/DeDiS/prifi/issues/19/labels{/name}","comments_url":"https://api.github.com/repos/DeDiS/prifi/issues/19/comments","events_url":"https://api.github.com/repos/DeDiS/prifi/issues/19/events","html_url":"https://github.com/DeDiS/prifi/pull/19","id":61244049,"number":19,"title":"Viewchange","user":{"login":"iuliatamas","id":4751688,"avatar_url":"https://avatars.githubusercontent.com/u/4751688?v=3","gravatar_id":"","url":"https://api.github.com/users/iuliatamas","html_url":"https://github.com/iuliatamas","followers_url":"https://api.github.com/users/iuliatamas/followers","following_url":"https://api.github.com/users/iuliatamas/following{/other_user}","gists_url":"https://api.github.com/users/iuliatamas/gists{/gist_id}","starred_url":"https://api.github.com/users/iuliatamas/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/iuliatamas/subscriptions","organizations_url":"https://api.github.com/users/iuliatamas/orgs","repos_url":"https://api.github.com/users/iuliatamas/repos","events_url":"https://api.github.com/users/iuliatamas/events{/privacy}","received_events_url":"https://api.github.com/users/iuliatamas/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":3,"created_at":"2015-03-13T21:12:44Z","updated_at":"2015-03-15T22:03:00Z","closed_at":null,"pull_request":{"url":"https://api.github.com/repos/DeDiS/prifi/pulls/19","html_url":"https://github.com/DeDiS/prifi/pull/19","diff_url":"https://github.com/DeDiS/prifi/pull/19.diff","patch_url":"https://github.com/DeDiS/prifi/pull/19.patch"},"body":"ViewChange mechanism implemented. Across views the same connections between nodes are kept, we effectively just rehang the tree from a new root.\r\n\r\nWe have one race problem on maps that was solved on the cleanup branch, and will be solved here too as soon as we merge. \r\n\r\nTested locally, as Deter is still down. \r\n\r\nWe should probably not merge before we test on Deter as well, but we pull requested to make it easier to receive comments on our code."},"comment":{"url":"https://api.github.com/repos/DeDiS/prifi/issues/comments/81258159","html_url":"https://github.com/DeDiS/prifi/pull/19#issuecomment-81258159","issue_url":"https://api.github.com/repos/DeDiS/prifi/issues/19","id":81258159,"user":{"login":"bford","id":1106207,"avatar_url":"https://avatars.githubusercontent.com/u/1106207?v=3","gravatar_id":"","url":"https://api.github.com/users/bford","html_url":"https://github.com/bford","followers_url":"https://api.github.com/users/bford/followers","following_url":"https://api.github.com/users/bford/following{/other_user}","gists_url":"https://api.github.com/users/bford/gists{/gist_id}","starred_url":"https://api.github.com/users/bford/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/bford/subscriptions","organizations_url":"https://api.github.com/users/bford/orgs","repos_url":"https://api.github.com/users/bford/repos","events_url":"https://api.github.com/users/bford/events{/privacy}","received_events_url":"https://api.github.com/users/bford/received_events","type":"User","site_admin":false},"created_at":"2015-03-15T22:03:00Z","updated_at":"2015-03-15T22:03:00Z","body":"Yes, that's fine - as I said, it's fine as-is for now, and we can come back to it later after the deadline.  Certainly, the most important thing right now is getting the next round of results; good to hear Deter is functional again."}}