{"action":"created","issue":{"url":"https://api.github.com/repos/dealii/dealii/issues/3262","repository_url":"https://api.github.com/repos/dealii/dealii","labels_url":"https://api.github.com/repos/dealii/dealii/issues/3262/labels{/name}","comments_url":"https://api.github.com/repos/dealii/dealii/issues/3262/comments","events_url":"https://api.github.com/repos/dealii/dealii/issues/3262/events","html_url":"https://github.com/dealii/dealii/pull/3262","id":183803267,"number":3262,"title":"VectorTools::project for p::d::Triangulations","user":{"login":"masterleinad","id":2423533,"avatar_url":"https://avatars.githubusercontent.com/u/2423533?v=3","gravatar_id":"","url":"https://api.github.com/users/masterleinad","html_url":"https://github.com/masterleinad","followers_url":"https://api.github.com/users/masterleinad/followers","following_url":"https://api.github.com/users/masterleinad/following{/other_user}","gists_url":"https://api.github.com/users/masterleinad/gists{/gist_id}","starred_url":"https://api.github.com/users/masterleinad/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/masterleinad/subscriptions","organizations_url":"https://api.github.com/users/masterleinad/orgs","repos_url":"https://api.github.com/users/masterleinad/repos","events_url":"https://api.github.com/users/masterleinad/events{/privacy}","received_events_url":"https://api.github.com/users/masterleinad/received_events","type":"User","site_admin":false},"labels":[{"id":114738734,"url":"https://api.github.com/repos/dealii/dealii/labels/Enhancement","name":"Enhancement","color":"c2e0c6","default":false},{"id":252577276,"url":"https://api.github.com/repos/dealii/dealii/labels/RFC","name":"RFC","color":"cc518c","default":false}],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":38,"created_at":"2016-10-18T21:07:14Z","updated_at":"2016-11-17T14:47:45Z","closed_at":null,"pull_request":{"url":"https://api.github.com/repos/dealii/dealii/pulls/3262","html_url":"https://github.com/dealii/dealii/pull/3262","diff_url":"https://github.com/dealii/dealii/pull/3262.diff","patch_url":"https://github.com/dealii/dealii/pull/3262.patch"},"body":"Currently, `VectorTools::project_distributed` only works without `project_to_boundary_first` and without `enforce_zero_boundary`.\n"},"comment":{"url":"https://api.github.com/repos/dealii/dealii/issues/comments/261265522","html_url":"https://github.com/dealii/dealii/pull/3262#issuecomment-261265522","issue_url":"https://api.github.com/repos/dealii/dealii/issues/3262","id":261265522,"user":{"login":"davydden","id":8023934,"avatar_url":"https://avatars.githubusercontent.com/u/8023934?v=3","gravatar_id":"","url":"https://api.github.com/users/davydden","html_url":"https://github.com/davydden","followers_url":"https://api.github.com/users/davydden/followers","following_url":"https://api.github.com/users/davydden/following{/other_user}","gists_url":"https://api.github.com/users/davydden/gists{/gist_id}","starred_url":"https://api.github.com/users/davydden/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/davydden/subscriptions","organizations_url":"https://api.github.com/users/davydden/orgs","repos_url":"https://api.github.com/users/davydden/repos","events_url":"https://api.github.com/users/davydden/events{/privacy}","received_events_url":"https://api.github.com/users/davydden/received_events","type":"User","site_admin":false},"created_at":"2016-11-17T14:47:45Z","updated_at":"2016-11-17T14:47:45Z","body":"@masterleinad i think the point was NOT to remove old commits from this PR, in other words keep it with all those 5 commits you had. Then after #3610 is merged, you would be able to re-based on top of `master` and won't loose anything. Meanwhile your branch would have also been fully functional, which it is not now as you got rid of those commits."}}
{"actor":{"display_login":"davydden"}}