{"action":"created","comment":{"url":"https://api.github.com/repos/coq/coq/pulls/comments/209878375","pull_request_review_id":145971522,"id":209878375,"node_id":"MDI0OlB1bGxSZXF1ZXN0UmV2aWV3Q29tbWVudDIwOTg3ODM3NQ==","diff_hunk":"@@ -1323,6 +1323,134 @@ Abbreviations\n    denoted expression is performed at definition time. Type-checking is\n    done only at the time of use of the abbreviation.\n \n+\n+Numeral notations\n+-----------------\n+\n+.. cmd:: Numeral Notation @ident__1 @ident__2 @ident__3 : @scope.\n+\n+  This command allows the user to customize the way numeral literals\n+  are parsed and printed.\n+\n+  The token :n:`@ident__1` should be the name of an inductive type,\n+  while :n:`@ident__2` and :n:`@ident__3` should be the names of the\n+  parsing and printing functions, respectively.  The parsing function\n+  :n:`@ident__2` should have one of the following types:\n+\n+    * :n:`Decimal.int -> @ident__1`\n+    * :n:`Decimal.int -> option @ident__1`\n+    * :n:`Decimal.uint -> @ident__1`\n+    * :n:`Decimal.uint -> option @ident__1`\n+    * :n:`Z -> @ident__1`\n+    * :n:`Z -> option @ident__1`\n+\n+  And the printing function :n:`@ident__3` should have one of the\n+  following types:\n+\n+    * :n:`@ident__1 -> Decimal.int`\n+    * :n:`@ident__1 -> option Decimal.int`\n+    * :n:`@ident__1 -> Decimal.uint`\n+    * :n:`@ident__1 -> option Decimal.uint`\n+    * :n:`@ident__1 -> Z`\n+    * :n:`@ident__1 -> option Z`\n+\n+    When parsing, the application of the parsing function\n+    :n:`@ident__2` to the number will be fully reduced, and universes\n+    of the resulting term will be refreshed.\n+\n+  .. cmdv:: Numeral Notation @ident__1 @ident__2 @ident__3 : @scope (warning after @num).\n+\n+    When a literal larger than :token:`num` is parsed, a warning\n+    message about possible stack overflow, resulting from evaluating\n+    :n:`@ident__2`, will be displayed.\n+\n+  .. cmdv:: Numeral Notation @ident__1 @ident__2 @ident__3 : @scope (abstract after @num).\n+\n+    When a literal :g:`m` larger than :token:`num` is parsed, the\n+    result will be :n:`(@ident__2 m)`, without reduction of this\n+    application to a normal form.  Here :g:`m` will be a\n+    :g:`Decimal.int` or :g:`Decimal.uint` or :g:`Z`, depending on the\n+    type of the parsing function :n:`@ident__2`. This allows for a\n+    more compact representation of literals in types such as :g:`nat`,\n+    and limits parse failures due to stack overflow.  Note that a\n+    warning will be emitted when an integer larger than :token:`num`\n+    is parsed.  Note that :n:`(abstract after @num)` has no effect\n+    when :n:`@ident__2` lands in an :g:`option` type.\n+\n+  .. exn:: Cannot interpret this number as a value of type @type\n+\n+    The numeral notation registered for :g:`ty` does not support the\n+    given numeral.  This error is given when the interpretation\n+    function returns :g:`None`, or if the interpretation is registered\n+    for only non-negative integers, and the given numeral is negative.\n+\n+  .. exn:: @ident should go from Decimal.int to @type or (option @type). Instead of Decimal.int, the types Decimal.uint or Z could be used{? (require BinNums first)}.\n+\n+    The parsing function given to the :cmd:`Numeral Notation`\n+    vernacular is not of the right type.\n+\n+  .. exn:: @ident should go from @type to Decimal.int or (option Decimal.int).  Instead of Decimal.int, the the types Decimal.uint or Z could be used{? (require BinNums first)}.\n+\n+    The printing function given to the :cmd:`Numeral Notation`\n+    vernacular is not of the right type.\n+\n+  .. exn:: @type is not an inductive type","path":"doc/sphinx/user-extensions/syntax-extensions.rst","position":75,"original_position":75,"commit_id":"6c55353f85859ebc82cb18a418d792a8895b7909","original_commit_id":"6c55353f85859ebc82cb18a418d792a8895b7909","user":{"login":"Zimmi48","id":1108325,"node_id":"MDQ6VXNlcjExMDgzMjU=","avatar_url":"https://avatars2.githubusercontent.com/u/1108325?v=4","gravatar_id":"","url":"https://api.github.com/users/Zimmi48","html_url":"https://github.com/Zimmi48","followers_url":"https://api.github.com/users/Zimmi48/followers","following_url":"https://api.github.com/users/Zimmi48/following{/other_user}","gists_url":"https://api.github.com/users/Zimmi48/gists{/gist_id}","starred_url":"https://api.github.com/users/Zimmi48/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Zimmi48/subscriptions","organizations_url":"https://api.github.com/users/Zimmi48/orgs","repos_url":"https://api.github.com/users/Zimmi48/repos","events_url":"https://api.github.com/users/Zimmi48/events{/privacy}","received_events_url":"https://api.github.com/users/Zimmi48/received_events","type":"User","site_admin":false},"body":"Missing dot in this error message and the next two.","created_at":"2018-08-14T09:05:14Z","updated_at":"2018-08-14T09:10:34Z","html_url":"https://github.com/coq/coq/pull/8064#discussion_r209878375","pull_request_url":"https://api.github.com/repos/coq/coq/pulls/8064","author_association":"MEMBER","_links":{"self":{"href":"https://api.github.com/repos/coq/coq/pulls/comments/209878375"},"html":{"href":"https://github.com/coq/coq/pull/8064#discussion_r209878375"},"pull_request":{"href":"https://api.github.com/repos/coq/coq/pulls/8064"}}},"pull_request":{"url":"https://api.github.com/repos/coq/coq/pulls/8064","id":201415684,"node_id":"MDExOlB1bGxSZXF1ZXN0MjAxNDE1Njg0","html_url":"https://github.com/coq/coq/pull/8064","diff_url":"https://github.com/coq/coq/pull/8064.diff","patch_url":"https://github.com/coq/coq/pull/8064.patch","issue_url":"https://api.github.com/repos/coq/coq/issues/8064","number":8064,"state":"open","locked":false,"title":"Numeral notation (revisited again)","user":{"login":"JasonGross","id":396076,"node_id":"MDQ6VXNlcjM5NjA3Ng==","avatar_url":"https://avatars0.githubusercontent.com/u/396076?v=4","gravatar_id":"","url":"https://api.github.com/users/JasonGross","html_url":"https://github.com/JasonGross","followers_url":"https://api.github.com/users/JasonGross/followers","following_url":"https://api.github.com/users/JasonGross/following{/other_user}","gists_url":"https://api.github.com/users/JasonGross/gists{/gist_id}","starred_url":"https://api.github.com/users/JasonGross/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/JasonGross/subscriptions","organizations_url":"https://api.github.com/users/JasonGross/orgs","repos_url":"https://api.github.com/users/JasonGross/repos","events_url":"https://api.github.com/users/JasonGross/events{/privacy}","received_events_url":"https://api.github.com/users/JasonGross/received_events","type":"User","site_admin":false},"body":"**Kind:** feature\r\n\r\nCloses #496 \r\nPartially subsumes #156 \r\n\r\nSee #496 and #156 for extended discussion and introduction to this feature.  Most of this code was written by @letouzey and @roglo.  I'm stepping in because I want this feature merged.\r\n\r\n- [x] Added / updated test-suite (Does this need test-suite entries?  It's tested (at least in part) by the standard library.)\r\n- [x] Corresponding documentation was added / updated\r\n  + [x] (including any warning and error messages added / removed / modified).\r\n- [x] Entry added in CHANGES.\r\n","created_at":"2018-07-13T22:42:18Z","updated_at":"2018-08-14T09:10:34Z","closed_at":null,"merged_at":null,"merge_commit_sha":"5c81ab80917a469cada5b3917cdd46b1cd38f80d","assignee":{"login":"herbelin","id":460771,"node_id":"MDQ6VXNlcjQ2MDc3MQ==","avatar_url":"https://avatars1.githubusercontent.com/u/460771?v=4","gravatar_id":"","url":"https://api.github.com/users/herbelin","html_url":"https://github.com/herbelin","followers_url":"https://api.github.com/users/herbelin/followers","following_url":"https://api.github.com/users/herbelin/following{/other_user}","gists_url":"https://api.github.com/users/herbelin/gists{/gist_id}","starred_url":"https://api.github.com/users/herbelin/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/herbelin/subscriptions","organizations_url":"https://api.github.com/users/herbelin/orgs","repos_url":"https://api.github.com/users/herbelin/repos","events_url":"https://api.github.com/users/herbelin/events{/privacy}","received_events_url":"https://api.github.com/users/herbelin/received_events","type":"User","site_admin":false},"assignees":[{"login":"herbelin","id":460771,"node_id":"MDQ6VXNlcjQ2MDc3MQ==","avatar_url":"https://avatars1.githubusercontent.com/u/460771?v=4","gravatar_id":"","url":"https://api.github.com/users/herbelin","html_url":"https://github.com/herbelin","followers_url":"https://api.github.com/users/herbelin/followers","following_url":"https://api.github.com/users/herbelin/following{/other_user}","gists_url":"https://api.github.com/users/herbelin/gists{/gist_id}","starred_url":"https://api.github.com/users/herbelin/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/herbelin/subscriptions","organizations_url":"https://api.github.com/users/herbelin/orgs","repos_url":"https://api.github.com/users/herbelin/repos","events_url":"https://api.github.com/users/herbelin/events{/privacy}","received_events_url":"https://api.github.com/users/herbelin/received_events","type":"User","site_admin":false}],"requested_reviewers":[],"requested_teams":[],"labels":[{"id":485986179,"node_id":"MDU6TGFiZWw0ODU5ODYxNzk=","url":"https://api.github.com/repos/coq/coq/labels/kind:%20feature","name":"kind: feature","color":"0e8a16","default":false},{"id":396673733,"node_id":"MDU6TGFiZWwzOTY2NzM3MzM=","url":"https://api.github.com/repos/coq/coq/labels/kind:%20redesign","name":"kind: redesign","color":"0052cc","default":false}],"milestone":{"url":"https://api.github.com/repos/coq/coq/milestones/7","html_url":"https://github.com/coq/coq/milestone/7","labels_url":"https://api.github.com/repos/coq/coq/milestones/7/labels","id":2647743,"node_id":"MDk6TWlsZXN0b25lMjY0Nzc0Mw==","number":7,"title":"8.9+beta1","description":"The date of the feature freeze has not been announced yet.","creator":{"login":"Zimmi48","id":1108325,"node_id":"MDQ6VXNlcjExMDgzMjU=","avatar_url":"https://avatars2.githubusercontent.com/u/1108325?v=4","gravatar_id":"","url":"https://api.github.com/users/Zimmi48","html_url":"https://github.com/Zimmi48","followers_url":"https://api.github.com/users/Zimmi48/followers","following_url":"https://api.github.com/users/Zimmi48/following{/other_user}","gists_url":"https://api.github.com/users/Zimmi48/gists{/gist_id}","starred_url":"https://api.github.com/users/Zimmi48/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Zimmi48/subscriptions","organizations_url":"https://api.github.com/users/Zimmi48/orgs","repos_url":"https://api.github.com/users/Zimmi48/repos","events_url":"https://api.github.com/users/Zimmi48/events{/privacy}","received_events_url":"https://api.github.com/users/Zimmi48/received_events","type":"User","site_admin":false},"open_issues":133,"closed_issues":370,"state":"open","created_at":"2017-07-18T15:03:25Z","updated_at":"2018-08-14T08:17:16Z","due_on":null,"closed_at":null},"commits_url":"https://api.github.com/repos/coq/coq/pulls/8064/commits","review_comments_url":"https://api.github.com/repos/coq/coq/pulls/8064/comments","review_comment_url":"https://api.github.com/repos/coq/coq/pulls/comments{/number}","comments_url":"https://api.github.com/repos/coq/coq/issues/8064/comments","statuses_url":"https://api.github.com/repos/coq/coq/statuses/6c55353f85859ebc82cb18a418d792a8895b7909","head":{"label":"JasonGross:numeral-notation-4","ref":"numeral-notation-4","sha":"6c55353f85859ebc82cb18a418d792a8895b7909","user":{"login":"JasonGross","id":396076,"node_id":"MDQ6VXNlcjM5NjA3Ng==","avatar_url":"https://avatars0.githubusercontent.com/u/396076?v=4","gravatar_id":"","url":"https://api.github.com/users/JasonGross","html_url":"https://github.com/JasonGross","followers_url":"https://api.github.com/users/JasonGross/followers","following_url":"https://api.github.com/users/JasonGross/following{/other_user}","gists_url":"https://api.github.com/users/JasonGross/gists{/gist_id}","starred_url":"https://api.github.com/users/JasonGross/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/JasonGross/subscriptions","organizations_url":"https://api.github.com/users/JasonGross/orgs","repos_url":"https://api.github.com/users/JasonGross/repos","events_url":"https://api.github.com/users/JasonGross/events{/privacy}","received_events_url":"https://api.github.com/users/JasonGross/received_events","type":"User","site_admin":false},"repo":{"id":5401384,"node_id":"MDEwOlJlcG9zaXRvcnk1NDAxMzg0","name":"coq","full_name":"JasonGross/coq","owner":{"login":"JasonGross","id":396076,"node_id":"MDQ6VXNlcjM5NjA3Ng==","avatar_url":"https://avatars0.githubusercontent.com/u/396076?v=4","gravatar_id":"","url":"https://api.github.com/users/JasonGross","html_url":"https://github.com/JasonGross","followers_url":"https://api.github.com/users/JasonGross/followers","following_url":"https://api.github.com/users/JasonGross/following{/other_user}","gists_url":"https://api.github.com/users/JasonGross/gists{/gist_id}","starred_url":"https://api.github.com/users/JasonGross/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/JasonGross/subscriptions","organizations_url":"https://api.github.com/users/JasonGross/orgs","repos_url":"https://api.github.com/users/JasonGross/repos","events_url":"https://api.github.com/users/JasonGross/events{/privacy}","received_events_url":"https://api.github.com/users/JasonGross/received_events","type":"User","site_admin":false},"private":false,"html_url":"https://github.com/JasonGross/coq","description":"Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs. ","fork":true,"url":"https://api.github.com/repos/JasonGross/coq","forks_url":"https://api.github.com/repos/JasonGross/coq/forks","keys_url":"https://api.github.com/repos/JasonGross/coq/keys{/key_id}","collaborators_url":"https://api.github.com/repos/JasonGross/coq/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/JasonGross/coq/teams","hooks_url":"https://api.github.com/repos/JasonGross/coq/hooks","issue_events_url":"https://api.github.com/repos/JasonGross/coq/issues/events{/number}","events_url":"https://api.github.com/repos/JasonGross/coq/events","assignees_url":"https://api.github.com/repos/JasonGross/coq/assignees{/user}","branches_url":"https://api.github.com/repos/JasonGross/coq/branches{/branch}","tags_url":"https://api.github.com/repos/JasonGross/coq/tags","blobs_url":"https://api.github.com/repos/JasonGross/coq/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/JasonGross/coq/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/JasonGross/coq/git/refs{/sha}","trees_url":"https://api.github.com/repos/JasonGross/coq/git/trees{/sha}","statuses_url":"https://api.github.com/repos/JasonGross/coq/statuses/{sha}","languages_url":"https://api.github.com/repos/JasonGross/coq/languages","stargazers_url":"https://api.github.com/repos/JasonGross/coq/stargazers","contributors_url":"https://api.github.com/repos/JasonGross/coq/contributors","subscribers_url":"https://api.github.com/repos/JasonGross/coq/subscribers","subscription_url":"https://api.github.com/repos/JasonGross/coq/subscription","commits_url":"https://api.github.com/repos/JasonGross/coq/commits{/sha}","git_commits_url":"https://api.github.com/repos/JasonGross/coq/git/commits{/sha}","comments_url":"https://api.github.com/repos/JasonGross/coq/comments{/number}","issue_comment_url":"https://api.github.com/repos/JasonGross/coq/issues/comments{/number}","contents_url":"https://api.github.com/repos/JasonGross/coq/contents/{+path}","compare_url":"https://api.github.com/repos/JasonGross/coq/compare/{base}...{head}","merges_url":"https://api.github.com/repos/JasonGross/coq/merges","archive_url":"https://api.github.com/repos/JasonGross/coq/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/JasonGross/coq/downloads","issues_url":"https://api.github.com/repos/JasonGross/coq/issues{/number}","pulls_url":"https://api.github.com/repos/JasonGross/coq/pulls{/number}","milestones_url":"https://api.github.com/repos/JasonGross/coq/milestones{/number}","notifications_url":"https://api.github.com/repos/JasonGross/coq/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/JasonGross/coq/labels{/name}","releases_url":"https://api.github.com/repos/JasonGross/coq/releases{/id}","deployments_url":"https://api.github.com/repos/JasonGross/coq/deployments","created_at":"2012-08-13T16:14:08Z","updated_at":"2015-01-18T02:57:59Z","pushed_at":"2018-08-02T04:25:09Z","git_url":"git://github.com/JasonGross/coq.git","ssh_url":"git@github.com:JasonGross/coq.git","clone_url":"https://github.com/JasonGross/coq.git","svn_url":"https://github.com/JasonGross/coq","homepage":"http://coq.inria.fr/","size":101521,"stargazers_count":1,"watchers_count":1,"language":"OCaml","has_issues":false,"has_projects":true,"has_downloads":true,"has_wiki":false,"has_pages":false,"forks_count":0,"mirror_url":null,"archived":false,"open_issues_count":1,"license":{"key":"other","name":"Other","spdx_id":null,"url":null,"node_id":"MDc6TGljZW5zZTA="},"forks":0,"open_issues":1,"watchers":1,"default_branch":"trunk"}},"base":{"label":"coq:master","ref":"master","sha":"68447a7c226a114d473fd6fa515893fb3f19644e","user":{"login":"coq","id":621198,"node_id":"MDEyOk9yZ2FuaXphdGlvbjYyMTE5OA==","avatar_url":"https://avatars1.githubusercontent.com/u/621198?v=4","gravatar_id":"","url":"https://api.github.com/users/coq","html_url":"https://github.com/coq","followers_url":"https://api.github.com/users/coq/followers","following_url":"https://api.github.com/users/coq/following{/other_user}","gists_url":"https://api.github.com/users/coq/gists{/gist_id}","starred_url":"https://api.github.com/users/coq/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/coq/subscriptions","organizations_url":"https://api.github.com/users/coq/orgs","repos_url":"https://api.github.com/users/coq/repos","events_url":"https://api.github.com/users/coq/events{/privacy}","received_events_url":"https://api.github.com/users/coq/received_events","type":"Organization","site_admin":false},"repo":{"id":1377159,"node_id":"MDEwOlJlcG9zaXRvcnkxMzc3MTU5","name":"coq","full_name":"coq/coq","owner":{"login":"coq","id":621198,"node_id":"MDEyOk9yZ2FuaXphdGlvbjYyMTE5OA==","avatar_url":"https://avatars1.githubusercontent.com/u/621198?v=4","gravatar_id":"","url":"https://api.github.com/users/coq","html_url":"https://github.com/coq","followers_url":"https://api.github.com/users/coq/followers","following_url":"https://api.github.com/users/coq/following{/other_user}","gists_url":"https://api.github.com/users/coq/gists{/gist_id}","starred_url":"https://api.github.com/users/coq/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/coq/subscriptions","organizations_url":"https://api.github.com/users/coq/orgs","repos_url":"https://api.github.com/users/coq/repos","events_url":"https://api.github.com/users/coq/events{/privacy}","received_events_url":"https://api.github.com/users/coq/received_events","type":"Organization","site_admin":false},"private":false,"html_url":"https://github.com/coq/coq","description":"Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs. ","fork":false,"url":"https://api.github.com/repos/coq/coq","forks_url":"https://api.github.com/repos/coq/coq/forks","keys_url":"https://api.github.com/repos/coq/coq/keys{/key_id}","collaborators_url":"https://api.github.com/repos/coq/coq/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/coq/coq/teams","hooks_url":"https://api.github.com/repos/coq/coq/hooks","issue_events_url":"https://api.github.com/repos/coq/coq/issues/events{/number}","events_url":"https://api.github.com/repos/coq/coq/events","assignees_url":"https://api.github.com/repos/coq/coq/assignees{/user}","branches_url":"https://api.github.com/repos/coq/coq/branches{/branch}","tags_url":"https://api.github.com/repos/coq/coq/tags","blobs_url":"https://api.github.com/repos/coq/coq/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/coq/coq/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/coq/coq/git/refs{/sha}","trees_url":"https://api.github.com/repos/coq/coq/git/trees{/sha}","statuses_url":"https://api.github.com/repos/coq/coq/statuses/{sha}","languages_url":"https://api.github.com/repos/coq/coq/languages","stargazers_url":"https://api.github.com/repos/coq/coq/stargazers","contributors_url":"https://api.github.com/repos/coq/coq/contributors","subscribers_url":"https://api.github.com/repos/coq/coq/subscribers","subscription_url":"https://api.github.com/repos/coq/coq/subscription","commits_url":"https://api.github.com/repos/coq/coq/commits{/sha}","git_commits_url":"https://api.github.com/repos/coq/coq/git/commits{/sha}","comments_url":"https://api.github.com/repos/coq/coq/comments{/number}","issue_comment_url":"https://api.github.com/repos/coq/coq/issues/comments{/number}","contents_url":"https://api.github.com/repos/coq/coq/contents/{+path}","compare_url":"https://api.github.com/repos/coq/coq/compare/{base}...{head}","merges_url":"https://api.github.com/repos/coq/coq/merges","archive_url":"https://api.github.com/repos/coq/coq/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/coq/coq/downloads","issues_url":"https://api.github.com/repos/coq/coq/issues{/number}","pulls_url":"https://api.github.com/repos/coq/coq/pulls{/number}","milestones_url":"https://api.github.com/repos/coq/coq/milestones{/number}","notifications_url":"https://api.github.com/repos/coq/coq/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/coq/coq/labels{/name}","releases_url":"https://api.github.com/repos/coq/coq/releases{/id}","deployments_url":"https://api.github.com/repos/coq/coq/deployments","created_at":"2011-02-17T05:49:37Z","updated_at":"2018-08-14T08:43:48Z","pushed_at":"2018-08-14T08:43:12Z","git_url":"git://github.com/coq/coq.git","ssh_url":"git@github.com:coq/coq.git","clone_url":"https://github.com/coq/coq.git","svn_url":"https://github.com/coq/coq","homepage":"https://coq.inria.fr/","size":114016,"stargazers_count":1397,"watchers_count":1397,"language":"OCaml","has_issues":true,"has_projects":true,"has_downloads":true,"has_wiki":true,"has_pages":false,"forks_count":264,"mirror_url":null,"archived":false,"open_issues_count":1765,"license":{"key":"lgpl-2.1","name":"GNU Lesser General Public License v2.1","spdx_id":"LGPL-2.1","url":"https://api.github.com/licenses/lgpl-2.1","node_id":"MDc6TGljZW5zZTEx"},"forks":264,"open_issues":1765,"watchers":1397,"default_branch":"master"}},"_links":{"self":{"href":"https://api.github.com/repos/coq/coq/pulls/8064"},"html":{"href":"https://github.com/coq/coq/pull/8064"},"issue":{"href":"https://api.github.com/repos/coq/coq/issues/8064"},"comments":{"href":"https://api.github.com/repos/coq/coq/issues/8064/comments"},"review_comments":{"href":"https://api.github.com/repos/coq/coq/pulls/8064/comments"},"review_comment":{"href":"https://api.github.com/repos/coq/coq/pulls/comments{/number}"},"commits":{"href":"https://api.github.com/repos/coq/coq/pulls/8064/commits"},"statuses":{"href":"https://api.github.com/repos/coq/coq/statuses/6c55353f85859ebc82cb18a418d792a8895b7909"}},"author_association":"CONTRIBUTOR"}}
{"actor":{"display_login":"Zimmi48"}}