{
  "action": "opened",
  "number": 1943,
  "pull_request": {
    "url": "https://api.github.com/repos/lampepfl/dotty/pulls/1943",
    "id": 104705912,
    "html_url": "https://github.com/lampepfl/dotty/pull/1943",
    "diff_url": "https://github.com/lampepfl/dotty/pull/1943.diff",
    "patch_url": "https://github.com/lampepfl/dotty/pull/1943.patch",
    "issue_url": "https://api.github.com/repos/lampepfl/dotty/issues/1943",
    "number": 1943,
    "state": "open",
    "locked": false,
    "title": "Positioned#initialPos: Union the position of every children",
    "user": {
      "login": "smarter",
      "id": 63430,
      "avatar_url": "https://avatars.githubusercontent.com/u/63430?v=3",
      "gravatar_id": "",
      "url": "https://api.github.com/users/smarter",
      "html_url": "https://github.com/smarter",
      "followers_url": "https://api.github.com/users/smarter/followers",
      "following_url": "https://api.github.com/users/smarter/following{/other_user}",
      "gists_url": "https://api.github.com/users/smarter/gists{/gist_id}",
      "starred_url": "https://api.github.com/users/smarter/starred{/owner}{/repo}",
      "subscriptions_url": "https://api.github.com/users/smarter/subscriptions",
      "organizations_url": "https://api.github.com/users/smarter/orgs",
      "repos_url": "https://api.github.com/users/smarter/repos",
      "events_url": "https://api.github.com/users/smarter/events{/privacy}",
      "received_events_url": "https://api.github.com/users/smarter/received_events",
      "type": "User",
      "site_admin": false
    },
    "body": "Previously we missed some children, one consequence of this is that the\r\nposition of the typed tree corresponding to the lambda \"z => 1\" did not\r\ncontain the position of \"z\".\r\n\r\nReview by @odersky ",
    "created_at": "2017-02-05T16:51:01Z",
    "updated_at": "2017-02-05T16:51:01Z",
    "closed_at": null,
    "merged_at": null,
    "merge_commit_sha": null,
    "assignee": null,
    "assignees": [

    ],
    "milestone": null,
    "commits_url": "https://api.github.com/repos/lampepfl/dotty/pulls/1943/commits",
    "review_comments_url": "https://api.github.com/repos/lampepfl/dotty/pulls/1943/comments",
    "review_comment_url": "https://api.github.com/repos/lampepfl/dotty/pulls/comments{/number}",
    "comments_url": "https://api.github.com/repos/lampepfl/dotty/issues/1943/comments",
    "statuses_url": "https://api.github.com/repos/lampepfl/dotty/statuses/9e9206dbf3e1cbd378adcb9f65637d2cf331cc10",
    "head": {
      "label": "dotty-staging:fix/lambda-position",
      "ref": "fix/lambda-position",
      "sha": "9e9206dbf3e1cbd378adcb9f65637d2cf331cc10",
      "user": {
        "login": "dotty-staging",
        "id": 6998674,
        "avatar_url": "https://avatars.githubusercontent.com/u/6998674?v=3",
        "gravatar_id": "",
        "url": "https://api.github.com/users/dotty-staging",
        "html_url": "https://github.com/dotty-staging",
        "followers_url": "https://api.github.com/users/dotty-staging/followers",
        "following_url": "https://api.github.com/users/dotty-staging/following{/other_user}",
        "gists_url": "https://api.github.com/users/dotty-staging/gists{/gist_id}",
        "starred_url": "https://api.github.com/users/dotty-staging/starred{/owner}{/repo}",
        "subscriptions_url": "https://api.github.com/users/dotty-staging/subscriptions",
        "organizations_url": "https://api.github.com/users/dotty-staging/orgs",
        "repos_url": "https://api.github.com/users/dotty-staging/repos",
        "events_url": "https://api.github.com/users/dotty-staging/events{/privacy}",
        "received_events_url": "https://api.github.com/users/dotty-staging/received_events",
        "type": "Organization",
        "site_admin": false
      },
      "repo": {
        "id": 17904384,
        "name": "dotty",
        "full_name": "dotty-staging/dotty",
        "owner": {
          "login": "dotty-staging",
          "id": 6998674,
          "avatar_url": "https://avatars.githubusercontent.com/u/6998674?v=3",
          "gravatar_id": "",
          "url": "https://api.github.com/users/dotty-staging",
          "html_url": "https://github.com/dotty-staging",
          "followers_url": "https://api.github.com/users/dotty-staging/followers",
          "following_url": "https://api.github.com/users/dotty-staging/following{/other_user}",
          "gists_url": "https://api.github.com/users/dotty-staging/gists{/gist_id}",
          "starred_url": "https://api.github.com/users/dotty-staging/starred{/owner}{/repo}",
          "subscriptions_url": "https://api.github.com/users/dotty-staging/subscriptions",
          "organizations_url": "https://api.github.com/users/dotty-staging/orgs",
          "repos_url": "https://api.github.com/users/dotty-staging/repos",
          "events_url": "https://api.github.com/users/dotty-staging/events{/privacy}",
          "received_events_url": "https://api.github.com/users/dotty-staging/received_events",
          "type": "Organization",
          "site_admin": false
        },
        "private": false,
        "html_url": "https://github.com/dotty-staging/dotty",
        "description": "Research platform for new language concepts and compiler technologies for Scala.",
        "fork": true,
        "url": "https://api.github.com/repos/dotty-staging/dotty",
        "forks_url": "https://api.github.com/repos/dotty-staging/dotty/forks",
        "keys_url": "https://api.github.com/repos/dotty-staging/dotty/keys{/key_id}",
        "collaborators_url": "https://api.github.com/repos/dotty-staging/dotty/collaborators{/collaborator}",
        "teams_url": "https://api.github.com/repos/dotty-staging/dotty/teams",
        "hooks_url": "https://api.github.com/repos/dotty-staging/dotty/hooks",
        "issue_events_url": "https://api.github.com/repos/dotty-staging/dotty/issues/events{/number}",
        "events_url": "https://api.github.com/repos/dotty-staging/dotty/events",
        "assignees_url": "https://api.github.com/repos/dotty-staging/dotty/assignees{/user}",
        "branches_url": "https://api.github.com/repos/dotty-staging/dotty/branches{/branch}",
        "tags_url": "https://api.github.com/repos/dotty-staging/dotty/tags",
        "blobs_url": "https://api.github.com/repos/dotty-staging/dotty/git/blobs{/sha}",
        "git_tags_url": "https://api.github.com/repos/dotty-staging/dotty/git/tags{/sha}",
        "git_refs_url": "https://api.github.com/repos/dotty-staging/dotty/git/refs{/sha}",
        "trees_url": "https://api.github.com/repos/dotty-staging/dotty/git/trees{/sha}",
        "statuses_url": "https://api.github.com/repos/dotty-staging/dotty/statuses/{sha}",
        "languages_url": "https://api.github.com/repos/dotty-staging/dotty/languages",
        "stargazers_url": "https://api.github.com/repos/dotty-staging/dotty/stargazers",
        "contributors_url": "https://api.github.com/repos/dotty-staging/dotty/contributors",
        "subscribers_url": "https://api.github.com/repos/dotty-staging/dotty/subscribers",
        "subscription_url": "https://api.github.com/repos/dotty-staging/dotty/subscription",
        "commits_url": "https://api.github.com/repos/dotty-staging/dotty/commits{/sha}",
        "git_commits_url": "https://api.github.com/repos/dotty-staging/dotty/git/commits{/sha}",
        "comments_url": "https://api.github.com/repos/dotty-staging/dotty/comments{/number}",
        "issue_comment_url": "https://api.github.com/repos/dotty-staging/dotty/issues/comments{/number}",
        "contents_url": "https://api.github.com/repos/dotty-staging/dotty/contents/{+path}",
        "compare_url": "https://api.github.com/repos/dotty-staging/dotty/compare/{base}...{head}",
        "merges_url": "https://api.github.com/repos/dotty-staging/dotty/merges",
        "archive_url": "https://api.github.com/repos/dotty-staging/dotty/{archive_format}{/ref}",
        "downloads_url": "https://api.github.com/repos/dotty-staging/dotty/downloads",
        "issues_url": "https://api.github.com/repos/dotty-staging/dotty/issues{/number}",
        "pulls_url": "https://api.github.com/repos/dotty-staging/dotty/pulls{/number}",
        "milestones_url": "https://api.github.com/repos/dotty-staging/dotty/milestones{/number}",
        "notifications_url": "https://api.github.com/repos/dotty-staging/dotty/notifications{?since,all,participating}",
        "labels_url": "https://api.github.com/repos/dotty-staging/dotty/labels{/name}",
        "releases_url": "https://api.github.com/repos/dotty-staging/dotty/releases{/id}",
        "deployments_url": "https://api.github.com/repos/dotty-staging/dotty/deployments",
        "created_at": "2014-03-19T13:06:15Z",
        "updated_at": "2016-07-11T14:41:18Z",
        "pushed_at": "2017-02-05T16:50:41Z",
        "git_url": "git://github.com/dotty-staging/dotty.git",
        "ssh_url": "git@github.com:dotty-staging/dotty.git",
        "clone_url": "https://github.com/dotty-staging/dotty.git",
        "svn_url": "https://github.com/dotty-staging/dotty",
        "homepage": "",
        "size": 27650,
        "stargazers_count": 4,
        "watchers_count": 4,
        "language": "Scala",
        "has_issues": false,
        "has_downloads": true,
        "has_wiki": true,
        "has_pages": false,
        "forks_count": 0,
        "mirror_url": null,
        "open_issues_count": 0,
        "forks": 0,
        "open_issues": 0,
        "watchers": 4,
        "default_branch": "master"
      }
    },
    "base": {
      "label": "lampepfl:master",
      "ref": "master",
      "sha": "da7d7231b7f21fe1085abc569eb783590074a359",
      "user": {
        "login": "lampepfl",
        "id": 2684793,
        "avatar_url": "https://avatars.githubusercontent.com/u/2684793?v=3",
        "gravatar_id": "",
        "url": "https://api.github.com/users/lampepfl",
        "html_url": "https://github.com/lampepfl",
        "followers_url": "https://api.github.com/users/lampepfl/followers",
        "following_url": "https://api.github.com/users/lampepfl/following{/other_user}",
        "gists_url": "https://api.github.com/users/lampepfl/gists{/gist_id}",
        "starred_url": "https://api.github.com/users/lampepfl/starred{/owner}{/repo}",
        "subscriptions_url": "https://api.github.com/users/lampepfl/subscriptions",
        "organizations_url": "https://api.github.com/users/lampepfl/orgs",
        "repos_url": "https://api.github.com/users/lampepfl/repos",
        "events_url": "https://api.github.com/users/lampepfl/events{/privacy}",
        "received_events_url": "https://api.github.com/users/lampepfl/received_events",
        "type": "Organization",
        "site_admin": false
      },
      "repo": {
        "id": 7035651,
        "name": "dotty",
        "full_name": "lampepfl/dotty",
        "owner": {
          "login": "lampepfl",
          "id": 2684793,
          "avatar_url": "https://avatars.githubusercontent.com/u/2684793?v=3",
          "gravatar_id": "",
          "url": "https://api.github.com/users/lampepfl",
          "html_url": "https://github.com/lampepfl",
          "followers_url": "https://api.github.com/users/lampepfl/followers",
          "following_url": "https://api.github.com/users/lampepfl/following{/other_user}",
          "gists_url": "https://api.github.com/users/lampepfl/gists{/gist_id}",
          "starred_url": "https://api.github.com/users/lampepfl/starred{/owner}{/repo}",
          "subscriptions_url": "https://api.github.com/users/lampepfl/subscriptions",
          "organizations_url": "https://api.github.com/users/lampepfl/orgs",
          "repos_url": "https://api.github.com/users/lampepfl/repos",
          "events_url": "https://api.github.com/users/lampepfl/events{/privacy}",
          "received_events_url": "https://api.github.com/users/lampepfl/received_events",
          "type": "Organization",
          "site_admin": false
        },
        "private": false,
        "html_url": "https://github.com/lampepfl/dotty",
        "description": "Research platform for new language concepts and compiler technologies for Scala.",
        "fork": false,
        "url": "https://api.github.com/repos/lampepfl/dotty",
        "forks_url": "https://api.github.com/repos/lampepfl/dotty/forks",
        "keys_url": "https://api.github.com/repos/lampepfl/dotty/keys{/key_id}",
        "collaborators_url": "https://api.github.com/repos/lampepfl/dotty/collaborators{/collaborator}",
        "teams_url": "https://api.github.com/repos/lampepfl/dotty/teams",
        "hooks_url": "https://api.github.com/repos/lampepfl/dotty/hooks",
        "issue_events_url": "https://api.github.com/repos/lampepfl/dotty/issues/events{/number}",
        "events_url": "https://api.github.com/repos/lampepfl/dotty/events",
        "assignees_url": "https://api.github.com/repos/lampepfl/dotty/assignees{/user}",
        "branches_url": "https://api.github.com/repos/lampepfl/dotty/branches{/branch}",
        "tags_url": "https://api.github.com/repos/lampepfl/dotty/tags",
        "blobs_url": "https://api.github.com/repos/lampepfl/dotty/git/blobs{/sha}",
        "git_tags_url": "https://api.github.com/repos/lampepfl/dotty/git/tags{/sha}",
        "git_refs_url": "https://api.github.com/repos/lampepfl/dotty/git/refs{/sha}",
        "trees_url": "https://api.github.com/repos/lampepfl/dotty/git/trees{/sha}",
        "statuses_url": "https://api.github.com/repos/lampepfl/dotty/statuses/{sha}",
        "languages_url": "https://api.github.com/repos/lampepfl/dotty/languages",
        "stargazers_url": "https://api.github.com/repos/lampepfl/dotty/stargazers",
        "contributors_url": "https://api.github.com/repos/lampepfl/dotty/contributors",
        "subscribers_url": "https://api.github.com/repos/lampepfl/dotty/subscribers",
        "subscription_url": "https://api.github.com/repos/lampepfl/dotty/subscription",
        "commits_url": "https://api.github.com/repos/lampepfl/dotty/commits{/sha}",
        "git_commits_url": "https://api.github.com/repos/lampepfl/dotty/git/commits{/sha}",
        "comments_url": "https://api.github.com/repos/lampepfl/dotty/comments{/number}",
        "issue_comment_url": "https://api.github.com/repos/lampepfl/dotty/issues/comments{/number}",
        "contents_url": "https://api.github.com/repos/lampepfl/dotty/contents/{+path}",
        "compare_url": "https://api.github.com/repos/lampepfl/dotty/compare/{base}...{head}",
        "merges_url": "https://api.github.com/repos/lampepfl/dotty/merges",
        "archive_url": "https://api.github.com/repos/lampepfl/dotty/{archive_format}{/ref}",
        "downloads_url": "https://api.github.com/repos/lampepfl/dotty/downloads",
        "issues_url": "https://api.github.com/repos/lampepfl/dotty/issues{/number}",
        "pulls_url": "https://api.github.com/repos/lampepfl/dotty/pulls{/number}",
        "milestones_url": "https://api.github.com/repos/lampepfl/dotty/milestones{/number}",
        "notifications_url": "https://api.github.com/repos/lampepfl/dotty/notifications{?since,all,participating}",
        "labels_url": "https://api.github.com/repos/lampepfl/dotty/labels{/name}",
        "releases_url": "https://api.github.com/repos/lampepfl/dotty/releases{/id}",
        "deployments_url": "https://api.github.com/repos/lampepfl/dotty/deployments",
        "created_at": "2012-12-06T12:57:33Z",
        "updated_at": "2017-02-05T01:04:39Z",
        "pushed_at": "2017-02-05T16:50:21Z",
        "git_url": "git://github.com/lampepfl/dotty.git",
        "ssh_url": "git@github.com:lampepfl/dotty.git",
        "clone_url": "https://github.com/lampepfl/dotty.git",
        "svn_url": "https://github.com/lampepfl/dotty",
        "homepage": "http://dotty.epfl.ch",
        "size": 28511,
        "stargazers_count": 1447,
        "watchers_count": 1447,
        "language": "Scala",
        "has_issues": true,
        "has_downloads": true,
        "has_wiki": false,
        "has_pages": true,
        "forks_count": 212,
        "mirror_url": null,
        "open_issues_count": 243,
        "forks": 212,
        "open_issues": 243,
        "watchers": 1447,
        "default_branch": "master"
      }
    },
    "_links": {
      "self": {
        "href": "https://api.github.com/repos/lampepfl/dotty/pulls/1943"
      },
      "html": {
        "href": "https://github.com/lampepfl/dotty/pull/1943"
      },
      "issue": {
        "href": "https://api.github.com/repos/lampepfl/dotty/issues/1943"
      },
      "comments": {
        "href": "https://api.github.com/repos/lampepfl/dotty/issues/1943/comments"
      },
      "review_comments": {
        "href": "https://api.github.com/repos/lampepfl/dotty/pulls/1943/comments"
      },
      "review_comment": {
        "href": "https://api.github.com/repos/lampepfl/dotty/pulls/comments{/number}"
      },
      "commits": {
        "href": "https://api.github.com/repos/lampepfl/dotty/pulls/1943/commits"
      },
      "statuses": {
        "href": "https://api.github.com/repos/lampepfl/dotty/statuses/9e9206dbf3e1cbd378adcb9f65637d2cf331cc10"
      }
    },
    "merged": false,
    "mergeable": null,
    "mergeable_state": "unknown",
    "merged_by": null,
    "comments": 0,
    "review_comments": 0,
    "maintainer_can_modify": true,
    "commits": 1,
    "additions": 2,
    "deletions": 0,
    "changed_files": 1
  },
  "repository": {
    "id": 7035651,
    "name": "dotty",
    "full_name": "lampepfl/dotty",
    "owner": {
      "login": "lampepfl",
      "id": 2684793,
      "avatar_url": "https://avatars.githubusercontent.com/u/2684793?v=3",
      "gravatar_id": "",
      "url": "https://api.github.com/users/lampepfl",
      "html_url": "https://github.com/lampepfl",
      "followers_url": "https://api.github.com/users/lampepfl/followers",
      "following_url": "https://api.github.com/users/lampepfl/following{/other_user}",
      "gists_url": "https://api.github.com/users/lampepfl/gists{/gist_id}",
      "starred_url": "https://api.github.com/users/lampepfl/starred{/owner}{/repo}",
      "subscriptions_url": "https://api.github.com/users/lampepfl/subscriptions",
      "organizations_url": "https://api.github.com/users/lampepfl/orgs",
      "repos_url": "https://api.github.com/users/lampepfl/repos",
      "events_url": "https://api.github.com/users/lampepfl/events{/privacy}",
      "received_events_url": "https://api.github.com/users/lampepfl/received_events",
      "type": "Organization",
      "site_admin": false
    },
    "private": false,
    "html_url": "https://github.com/lampepfl/dotty",
    "description": "Research platform for new language concepts and compiler technologies for Scala.",
    "fork": false,
    "url": "https://api.github.com/repos/lampepfl/dotty",
    "forks_url": "https://api.github.com/repos/lampepfl/dotty/forks",
    "keys_url": "https://api.github.com/repos/lampepfl/dotty/keys{/key_id}",
    "collaborators_url": "https://api.github.com/repos/lampepfl/dotty/collaborators{/collaborator}",
    "teams_url": "https://api.github.com/repos/lampepfl/dotty/teams",
    "hooks_url": "https://api.github.com/repos/lampepfl/dotty/hooks",
    "issue_events_url": "https://api.github.com/repos/lampepfl/dotty/issues/events{/number}",
    "events_url": "https://api.github.com/repos/lampepfl/dotty/events",
    "assignees_url": "https://api.github.com/repos/lampepfl/dotty/assignees{/user}",
    "branches_url": "https://api.github.com/repos/lampepfl/dotty/branches{/branch}",
    "tags_url": "https://api.github.com/repos/lampepfl/dotty/tags",
    "blobs_url": "https://api.github.com/repos/lampepfl/dotty/git/blobs{/sha}",
    "git_tags_url": "https://api.github.com/repos/lampepfl/dotty/git/tags{/sha}",
    "git_refs_url": "https://api.github.com/repos/lampepfl/dotty/git/refs{/sha}",
    "trees_url": "https://api.github.com/repos/lampepfl/dotty/git/trees{/sha}",
    "statuses_url": "https://api.github.com/repos/lampepfl/dotty/statuses/{sha}",
    "languages_url": "https://api.github.com/repos/lampepfl/dotty/languages",
    "stargazers_url": "https://api.github.com/repos/lampepfl/dotty/stargazers",
    "contributors_url": "https://api.github.com/repos/lampepfl/dotty/contributors",
    "subscribers_url": "https://api.github.com/repos/lampepfl/dotty/subscribers",
    "subscription_url": "https://api.github.com/repos/lampepfl/dotty/subscription",
    "commits_url": "https://api.github.com/repos/lampepfl/dotty/commits{/sha}",
    "git_commits_url": "https://api.github.com/repos/lampepfl/dotty/git/commits{/sha}",
    "comments_url": "https://api.github.com/repos/lampepfl/dotty/comments{/number}",
    "issue_comment_url": "https://api.github.com/repos/lampepfl/dotty/issues/comments{/number}",
    "contents_url": "https://api.github.com/repos/lampepfl/dotty/contents/{+path}",
    "compare_url": "https://api.github.com/repos/lampepfl/dotty/compare/{base}...{head}",
    "merges_url": "https://api.github.com/repos/lampepfl/dotty/merges",
    "archive_url": "https://api.github.com/repos/lampepfl/dotty/{archive_format}{/ref}",
    "downloads_url": "https://api.github.com/repos/lampepfl/dotty/downloads",
    "issues_url": "https://api.github.com/repos/lampepfl/dotty/issues{/number}",
    "pulls_url": "https://api.github.com/repos/lampepfl/dotty/pulls{/number}",
    "milestones_url": "https://api.github.com/repos/lampepfl/dotty/milestones{/number}",
    "notifications_url": "https://api.github.com/repos/lampepfl/dotty/notifications{?since,all,participating}",
    "labels_url": "https://api.github.com/repos/lampepfl/dotty/labels{/name}",
    "releases_url": "https://api.github.com/repos/lampepfl/dotty/releases{/id}",
    "deployments_url": "https://api.github.com/repos/lampepfl/dotty/deployments",
    "created_at": "2012-12-06T12:57:33Z",
    "updated_at": "2017-02-05T01:04:39Z",
    "pushed_at": "2017-02-05T16:50:21Z",
    "git_url": "git://github.com/lampepfl/dotty.git",
    "ssh_url": "git@github.com:lampepfl/dotty.git",
    "clone_url": "https://github.com/lampepfl/dotty.git",
    "svn_url": "https://github.com/lampepfl/dotty",
    "homepage": "http://dotty.epfl.ch",
    "size": 28511,
    "stargazers_count": 1447,
    "watchers_count": 1447,
    "language": "Scala",
    "has_issues": true,
    "has_downloads": true,
    "has_wiki": false,
    "has_pages": true,
    "forks_count": 212,
    "mirror_url": null,
    "open_issues_count": 243,
    "forks": 212,
    "open_issues": 243,
    "watchers": 1447,
    "default_branch": "master"
  },
  "organization": {
    "login": "lampepfl",
    "id": 2684793,
    "url": "https://api.github.com/orgs/lampepfl",
    "repos_url": "https://api.github.com/orgs/lampepfl/repos",
    "events_url": "https://api.github.com/orgs/lampepfl/events",
    "hooks_url": "https://api.github.com/orgs/lampepfl/hooks",
    "issues_url": "https://api.github.com/orgs/lampepfl/issues",
    "members_url": "https://api.github.com/orgs/lampepfl/members{/member}",
    "public_members_url": "https://api.github.com/orgs/lampepfl/public_members{/member}",
    "avatar_url": "https://avatars.githubusercontent.com/u/2684793?v=3",
    "description": null
  },
  "sender": {
    "login": "smarter",
    "id": 63430,
    "avatar_url": "https://avatars.githubusercontent.com/u/63430?v=3",
    "gravatar_id": "",
    "url": "https://api.github.com/users/smarter",
    "html_url": "https://github.com/smarter",
    "followers_url": "https://api.github.com/users/smarter/followers",
    "following_url": "https://api.github.com/users/smarter/following{/other_user}",
    "gists_url": "https://api.github.com/users/smarter/gists{/gist_id}",
    "starred_url": "https://api.github.com/users/smarter/starred{/owner}{/repo}",
    "subscriptions_url": "https://api.github.com/users/smarter/subscriptions",
    "organizations_url": "https://api.github.com/users/smarter/orgs",
    "repos_url": "https://api.github.com/users/smarter/repos",
    "events_url": "https://api.github.com/users/smarter/events{/privacy}",
    "received_events_url": "https://api.github.com/users/smarter/received_events",
    "type": "User",
    "site_admin": false
  }
}