Closed jdm closed 8 years ago
{ "action": "opened", "number": 7132, "pull_request": { "url": "https://api.github.com/repos/servo/servo/pulls/7132", "id": 42039555, "html_url": "https://github.com/servo/servo/pull/7132", "diff_url": "https://github.com/servo/servo/pull/7132.diff", "patch_url": "https://github.com/servo/servo/pull/7132.patch", "issue_url": "https://api.github.com/repos/servo/servo/issues/7132", "number": 7132, "state": "open", "locked": false, "title": "Document the use and meaning of the devtools control messages. Fixes …", "user": { "login": "jdm", "id": 27658, "avatar_url": "https://avatars.githubusercontent.com/u/27658?v=3", "gravatar_id": "", "url": "https://api.github.com/users/jdm", "html_url": "https://github.com/jdm", "followers_url": "https://api.github.com/users/jdm/followers", "following_url": "https://api.github.com/users/jdm/following{/other_user}", "gists_url": "https://api.github.com/users/jdm/gists{/gist_id}", "starred_url": "https://api.github.com/users/jdm/starred{/owner}{/repo}", "subscriptions_url": "https://api.github.com/users/jdm/subscriptions", "organizations_url": "https://api.github.com/users/jdm/orgs", "repos_url": "https://api.github.com/users/jdm/repos", "events_url": "https://api.github.com/users/jdm/events{/privacy}", "received_events_url": "https://api.github.com/users/jdm/received_events", "type": "User", "site_admin": false }, "body": "…#6922.\r\n\r\nr? @Ms2ger ", "created_at": "2015-08-10T16:35:54Z", "updated_at": "2015-08-10T16:35:54Z", "closed_at": null, "merged_at": null, "merge_commit_sha": null, "assignee": null, "milestone": null, "commits_url": "https://api.github.com/repos/servo/servo/pulls/7132/commits", "review_comments_url": "https://api.github.com/repos/servo/servo/pulls/7132/comments", "review_comment_url": "https://api.github.com/repos/servo/servo/pulls/comments{/number}", "comments_url": "https://api.github.com/repos/servo/servo/issues/7132/comments", "statuses_url": "https://api.github.com/repos/servo/servo/statuses/5146a26a5e985447c8c5131e50ceb455d4331bcd", "head": { "label": "jdm:docenum", "ref": "docenum", "sha": "5146a26a5e985447c8c5131e50ceb455d4331bcd", "user": { "login": "jdm", "id": 27658, "avatar_url": "https://avatars.githubusercontent.com/u/27658?v=3", "gravatar_id": "", "url": "https://api.github.com/users/jdm", "html_url": "https://github.com/jdm", "followers_url": "https://api.github.com/users/jdm/followers", "following_url": "https://api.github.com/users/jdm/following{/other_user}", "gists_url": "https://api.github.com/users/jdm/gists{/gist_id}", "starred_url": "https://api.github.com/users/jdm/starred{/owner}{/repo}", "subscriptions_url": "https://api.github.com/users/jdm/subscriptions", "organizations_url": "https://api.github.com/users/jdm/orgs", "repos_url": "https://api.github.com/users/jdm/repos", "events_url": "https://api.github.com/users/jdm/events{/privacy}", "received_events_url": "https://api.github.com/users/jdm/received_events", "type": "User", "site_admin": false }, "repo": { "id": 4872339, "name": "servo", "full_name": "jdm/servo", "owner": { "login": "jdm", "id": 27658, "avatar_url": "https://avatars.githubusercontent.com/u/27658?v=3", "gravatar_id": "", "url": "https://api.github.com/users/jdm", "html_url": "https://github.com/jdm", "followers_url": "https://api.github.com/users/jdm/followers", "following_url": "https://api.github.com/users/jdm/following{/other_user}", "gists_url": "https://api.github.com/users/jdm/gists{/gist_id}", "starred_url": "https://api.github.com/users/jdm/starred{/owner}{/repo}", "subscriptions_url": "https://api.github.com/users/jdm/subscriptions", "organizations_url": "https://api.github.com/users/jdm/orgs", "repos_url": "https://api.github.com/users/jdm/repos", "events_url": "https://api.github.com/users/jdm/events{/privacy}", "received_events_url": "https://api.github.com/users/jdm/received_events", "type": "User", "site_admin": false }, "private": false, "html_url": "https://github.com/jdm/servo", "description": "The Servo Browser Engine", "fork": true, "url": "https://api.github.com/repos/jdm/servo", "forks_url": "https://api.github.com/repos/jdm/servo/forks", "keys_url": "https://api.github.com/repos/jdm/servo/keys{/key_id}", "collaborators_url": "https://api.github.com/repos/jdm/servo/collaborators{/collaborator}", "teams_url": "https://api.github.com/repos/jdm/servo/teams", "hooks_url": "https://api.github.com/repos/jdm/servo/hooks", "issue_events_url": "https://api.github.com/repos/jdm/servo/issues/events{/number}", "events_url": "https://api.github.com/repos/jdm/servo/events", "assignees_url": "https://api.github.com/repos/jdm/servo/assignees{/user}", "branches_url": "https://api.github.com/repos/jdm/servo/branches{/branch}", "tags_url": "https://api.github.com/repos/jdm/servo/tags", "blobs_url": "https://api.github.com/repos/jdm/servo/git/blobs{/sha}", "git_tags_url": "https://api.github.com/repos/jdm/servo/git/tags{/sha}", "git_refs_url": "https://api.github.com/repos/jdm/servo/git/refs{/sha}", "trees_url": "https://api.github.com/repos/jdm/servo/git/trees{/sha}", "statuses_url": "https://api.github.com/repos/jdm/servo/statuses/{sha}", "languages_url": "https://api.github.com/repos/jdm/servo/languages", "stargazers_url": "https://api.github.com/repos/jdm/servo/stargazers", "contributors_url": "https://api.github.com/repos/jdm/servo/contributors", "subscribers_url": "https://api.github.com/repos/jdm/servo/subscribers", "subscription_url": "https://api.github.com/repos/jdm/servo/subscription", "commits_url": "https://api.github.com/repos/jdm/servo/commits{/sha}", "git_commits_url": "https://api.github.com/repos/jdm/servo/git/commits{/sha}", "comments_url": "https://api.github.com/repos/jdm/servo/comments{/number}", "issue_comment_url": "https://api.github.com/repos/jdm/servo/issues/comments{/number}", "contents_url": "https://api.github.com/repos/jdm/servo/contents/{+path}", "compare_url": "https://api.github.com/repos/jdm/servo/compare/{base}...{head}", "merges_url": "https://api.github.com/repos/jdm/servo/merges", "archive_url": "https://api.github.com/repos/jdm/servo/{archive_format}{/ref}", "downloads_url": "https://api.github.com/repos/jdm/servo/downloads", "issues_url": "https://api.github.com/repos/jdm/servo/issues{/number}", "pulls_url": "https://api.github.com/repos/jdm/servo/pulls{/number}", "milestones_url": "https://api.github.com/repos/jdm/servo/milestones{/number}", "notifications_url": "https://api.github.com/repos/jdm/servo/notifications{?since,all,participating}", "labels_url": "https://api.github.com/repos/jdm/servo/labels{/name}", "releases_url": "https://api.github.com/repos/jdm/servo/releases{/id}", "created_at": "2012-07-03T13:10:58Z", "updated_at": "2014-07-22T08:38:23Z", "pushed_at": "2015-08-10T16:35:43Z", "git_url": "git://github.com/jdm/servo.git", "ssh_url": "git@github.com:jdm/servo.git", "clone_url": "https://github.com/jdm/servo.git", "svn_url": "https://github.com/jdm/servo", "homepage": "", "size": 120547, "stargazers_count": 1, "watchers_count": 1, "language": "Rust", "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": 1, "default_branch": "master" } }, "base": { "label": "servo:master", "ref": "master", "sha": "a91c366c06be4bf1765dc8be1c019146d5da3b48", "user": { "login": "servo", "id": 2566135, "avatar_url": "https://avatars.githubusercontent.com/u/2566135?v=3", "gravatar_id": "", "url": "https://api.github.com/users/servo", "html_url": "https://github.com/servo", "followers_url": "https://api.github.com/users/servo/followers", "following_url": "https://api.github.com/users/servo/following{/other_user}", "gists_url": "https://api.github.com/users/servo/gists{/gist_id}", "starred_url": "https://api.github.com/users/servo/starred{/owner}{/repo}", "subscriptions_url": "https://api.github.com/users/servo/subscriptions", "organizations_url": "https://api.github.com/users/servo/orgs", "repos_url": "https://api.github.com/users/servo/repos", "events_url": "https://api.github.com/users/servo/events{/privacy}", "received_events_url": "https://api.github.com/users/servo/received_events", "type": "Organization", "site_admin": false }, "repo": { "id": 3390243, "name": "servo", "full_name": "servo/servo", "owner": { "login": "servo", "id": 2566135, "avatar_url": "https://avatars.githubusercontent.com/u/2566135?v=3", "gravatar_id": "", "url": "https://api.github.com/users/servo", "html_url": "https://github.com/servo", "followers_url": "https://api.github.com/users/servo/followers", "following_url": "https://api.github.com/users/servo/following{/other_user}", "gists_url": "https://api.github.com/users/servo/gists{/gist_id}", "starred_url": "https://api.github.com/users/servo/starred{/owner}{/repo}", "subscriptions_url": "https://api.github.com/users/servo/subscriptions", "organizations_url": "https://api.github.com/users/servo/orgs", "repos_url": "https://api.github.com/users/servo/repos", "events_url": "https://api.github.com/users/servo/events{/privacy}", "received_events_url": "https://api.github.com/users/servo/received_events", "type": "Organization", "site_admin": false }, "private": false, "html_url": "https://github.com/servo/servo", "description": "The Servo Browser Engine", "fork": false, "url": "https://api.github.com/repos/servo/servo", "forks_url": "https://api.github.com/repos/servo/servo/forks", "keys_url": "https://api.github.com/repos/servo/servo/keys{/key_id}", "collaborators_url": "https://api.github.com/repos/servo/servo/collaborators{/collaborator}", "teams_url": "https://api.github.com/repos/servo/servo/teams", "hooks_url": "https://api.github.com/repos/servo/servo/hooks", "issue_events_url": "https://api.github.com/repos/servo/servo/issues/events{/number}", "events_url": "https://api.github.com/repos/servo/servo/events", "assignees_url": "https://api.github.com/repos/servo/servo/assignees{/user}", "branches_url": "https://api.github.com/repos/servo/servo/branches{/branch}", "tags_url": "https://api.github.com/repos/servo/servo/tags", "blobs_url": "https://api.github.com/repos/servo/servo/git/blobs{/sha}", "git_tags_url": "https://api.github.com/repos/servo/servo/git/tags{/sha}", "git_refs_url": "https://api.github.com/repos/servo/servo/git/refs{/sha}", "trees_url": "https://api.github.com/repos/servo/servo/git/trees{/sha}", "statuses_url": "https://api.github.com/repos/servo/servo/statuses/{sha}", "languages_url": "https://api.github.com/repos/servo/servo/languages", "stargazers_url": "https://api.github.com/repos/servo/servo/stargazers", "contributors_url": "https://api.github.com/repos/servo/servo/contributors", "subscribers_url": "https://api.github.com/repos/servo/servo/subscribers", "subscription_url": "https://api.github.com/repos/servo/servo/subscription", "commits_url": "https://api.github.com/repos/servo/servo/commits{/sha}", "git_commits_url": "https://api.github.com/repos/servo/servo/git/commits{/sha}", "comments_url": "https://api.github.com/repos/servo/servo/comments{/number}", "issue_comment_url": "https://api.github.com/repos/servo/servo/issues/comments{/number}", "contents_url": "https://api.github.com/repos/servo/servo/contents/{+path}", "compare_url": "https://api.github.com/repos/servo/servo/compare/{base}...{head}", "merges_url": "https://api.github.com/repos/servo/servo/merges", "archive_url": "https://api.github.com/repos/servo/servo/{archive_format}{/ref}", "downloads_url": "https://api.github.com/repos/servo/servo/downloads", "issues_url": "https://api.github.com/repos/servo/servo/issues{/number}", "pulls_url": "https://api.github.com/repos/servo/servo/pulls{/number}", "milestones_url": "https://api.github.com/repos/servo/servo/milestones{/number}", "notifications_url": "https://api.github.com/repos/servo/servo/notifications{?since,all,participating}", "labels_url": "https://api.github.com/repos/servo/servo/labels{/name}", "releases_url": "https://api.github.com/repos/servo/servo/releases{/id}", "created_at": "2012-02-08T19:07:25Z", "updated_at": "2015-08-10T11:03:31Z", "pushed_at": "2015-08-10T15:53:38Z", "git_url": "git://github.com/servo/servo.git", "ssh_url": "git@github.com:servo/servo.git", "clone_url": "https://github.com/servo/servo.git", "svn_url": "https://github.com/servo/servo", "homepage": "", "size": 205307, "stargazers_count": 4588, "watchers_count": 4588, "language": "Rust", "has_issues": true, "has_downloads": true, "has_wiki": true, "has_pages": false, "forks_count": 721, "mirror_url": null, "open_issues_count": 1057, "forks": 721, "open_issues": 1057, "watchers": 4588, "default_branch": "master" } }, "_links": { "self": { "href": "https://api.github.com/repos/servo/servo/pulls/7132" }, "html": { "href": "https://github.com/servo/servo/pull/7132" }, "issue": { "href": "https://api.github.com/repos/servo/servo/issues/7132" }, "comments": { "href": "https://api.github.com/repos/servo/servo/issues/7132/comments" }, "review_comments": { "href": "https://api.github.com/repos/servo/servo/pulls/7132/comments" }, "review_comment": { "href": "https://api.github.com/repos/servo/servo/pulls/comments{/number}" }, "commits": { "href": "https://api.github.com/repos/servo/servo/pulls/7132/commits" }, "statuses": { "href": "https://api.github.com/repos/servo/servo/statuses/5146a26a5e985447c8c5131e50ceb455d4331bcd" } }, "merged": false, "mergeable": null, "mergeable_state": "unknown", "merged_by": null, "comments": 0, "review_comments": 0, "commits": 1, "additions": 13, "deletions": 0, "changed_files": 1 }, "repository": { "id": 3390243, "name": "servo", "full_name": "servo/servo", "owner": { "login": "servo", "id": 2566135, "avatar_url": "https://avatars.githubusercontent.com/u/2566135?v=3", "gravatar_id": "", "url": "https://api.github.com/users/servo", "html_url": "https://github.com/servo", "followers_url": "https://api.github.com/users/servo/followers", "following_url": "https://api.github.com/users/servo/following{/other_user}", "gists_url": "https://api.github.com/users/servo/gists{/gist_id}", "starred_url": "https://api.github.com/users/servo/starred{/owner}{/repo}", "subscriptions_url": "https://api.github.com/users/servo/subscriptions", "organizations_url": "https://api.github.com/users/servo/orgs", "repos_url": "https://api.github.com/users/servo/repos", "events_url": "https://api.github.com/users/servo/events{/privacy}", "received_events_url": "https://api.github.com/users/servo/received_events", "type": "Organization", "site_admin": false }, "private": false, "html_url": "https://github.com/servo/servo", "description": "The Servo Browser Engine", "fork": false, "url": "https://api.github.com/repos/servo/servo", "forks_url": "https://api.github.com/repos/servo/servo/forks", "keys_url": "https://api.github.com/repos/servo/servo/keys{/key_id}", "collaborators_url": "https://api.github.com/repos/servo/servo/collaborators{/collaborator}", "teams_url": "https://api.github.com/repos/servo/servo/teams", "hooks_url": "https://api.github.com/repos/servo/servo/hooks", "issue_events_url": "https://api.github.com/repos/servo/servo/issues/events{/number}", "events_url": "https://api.github.com/repos/servo/servo/events", "assignees_url": "https://api.github.com/repos/servo/servo/assignees{/user}", "branches_url": "https://api.github.com/repos/servo/servo/branches{/branch}", "tags_url": "https://api.github.com/repos/servo/servo/tags", "blobs_url": "https://api.github.com/repos/servo/servo/git/blobs{/sha}", "git_tags_url": "https://api.github.com/repos/servo/servo/git/tags{/sha}", "git_refs_url": "https://api.github.com/repos/servo/servo/git/refs{/sha}", "trees_url": "https://api.github.com/repos/servo/servo/git/trees{/sha}", "statuses_url": "https://api.github.com/repos/servo/servo/statuses/{sha}", "languages_url": "https://api.github.com/repos/servo/servo/languages", "stargazers_url": "https://api.github.com/repos/servo/servo/stargazers", "contributors_url": "https://api.github.com/repos/servo/servo/contributors", "subscribers_url": "https://api.github.com/repos/servo/servo/subscribers", "subscription_url": "https://api.github.com/repos/servo/servo/subscription", "commits_url": "https://api.github.com/repos/servo/servo/commits{/sha}", "git_commits_url": "https://api.github.com/repos/servo/servo/git/commits{/sha}", "comments_url": "https://api.github.com/repos/servo/servo/comments{/number}", "issue_comment_url": "https://api.github.com/repos/servo/servo/issues/comments{/number}", "contents_url": "https://api.github.com/repos/servo/servo/contents/{+path}", "compare_url": "https://api.github.com/repos/servo/servo/compare/{base}...{head}", "merges_url": "https://api.github.com/repos/servo/servo/merges", "archive_url": "https://api.github.com/repos/servo/servo/{archive_format}{/ref}", "downloads_url": "https://api.github.com/repos/servo/servo/downloads", "issues_url": "https://api.github.com/repos/servo/servo/issues{/number}", "pulls_url": "https://api.github.com/repos/servo/servo/pulls{/number}", "milestones_url": "https://api.github.com/repos/servo/servo/milestones{/number}", "notifications_url": "https://api.github.com/repos/servo/servo/notifications{?since,all,participating}", "labels_url": "https://api.github.com/repos/servo/servo/labels{/name}", "releases_url": "https://api.github.com/repos/servo/servo/releases{/id}", "created_at": "2012-02-08T19:07:25Z", "updated_at": "2015-08-10T11:03:31Z", "pushed_at": "2015-08-10T15:53:38Z", "git_url": "git://github.com/servo/servo.git", "ssh_url": "git@github.com:servo/servo.git", "clone_url": "https://github.com/servo/servo.git", "svn_url": "https://github.com/servo/servo", "homepage": "", "size": 205307, "stargazers_count": 4588, "watchers_count": 4588, "language": "Rust", "has_issues": true, "has_downloads": true, "has_wiki": true, "has_pages": false, "forks_count": 721, "mirror_url": null, "open_issues_count": 1057, "forks": 721, "open_issues": 1057, "watchers": 4588, "default_branch": "master" }, "organization": { "login": "servo", "id": 2566135, "url": "https://api.github.com/orgs/servo", "repos_url": "https://api.github.com/orgs/servo/repos", "events_url": "https://api.github.com/orgs/servo/events", "members_url": "https://api.github.com/orgs/servo/members{/member}", "public_members_url": "https://api.github.com/orgs/servo/public_members{/member}", "avatar_url": "https://avatars.githubusercontent.com/u/2566135?v=3", "description": null }, "sender": { "login": "jdm", "id": 27658, "avatar_url": "https://avatars.githubusercontent.com/u/27658?v=3", "gravatar_id": "", "url": "https://api.github.com/users/jdm", "html_url": "https://github.com/jdm", "followers_url": "https://api.github.com/users/jdm/followers", "following_url": "https://api.github.com/users/jdm/following{/other_user}", "gists_url": "https://api.github.com/users/jdm/gists{/gist_id}", "starred_url": "https://api.github.com/users/jdm/starred{/owner}{/repo}", "subscriptions_url": "https://api.github.com/users/jdm/subscriptions", "organizations_url": "https://api.github.com/users/jdm/orgs", "repos_url": "https://api.github.com/users/jdm/repos", "events_url": "https://api.github.com/users/jdm/events{/privacy}", "received_events_url": "https://api.github.com/users/jdm/received_events", "type": "User", "site_admin": false } }
Fixed by 32a4633b3e4838e0d62c148e44be5740b0ee6904.