Updated GitHub REST API URL

huggingface · Aug 31, 2024 · de288a0 · de288a0
1 parent 76b8708
commit de288a0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/chapters/en/chapter5/5.mdx b/chapters/en/chapter5/5.mdx
@@ -199,7 +199,7 @@ Dataset({
 })
 ```
 
-Great, we've created our first dataset from scratch! But why are there several thousand issues when the [Issues tab](https://github.com/huggingface/datasets/issues) of the 🤗 Datasets repository only shows around 1,000 issues in total 🤔? As described in the GitHub [documentation](https://docs.github.com/en/rest/reference/issues#list-issues-assigned-to-the-authenticated-user), that's because we've downloaded all the pull requests as well:
+Great, we've created our first dataset from scratch! But why are there several thousand issues when the [Issues tab](https://github.com/huggingface/datasets/issues) of the 🤗 Datasets repository only shows around 1,000 issues in total 🤔? As described in the GitHub [documentation](https://docs.github.com/en/rest/issues/issues#list-issues-assigned-to-the-authenticated-user), that's because we've downloaded all the pull requests as well:
 
 > GitHub's REST API v3 considers every pull request an issue, but not every issue is a pull request. For this reason, "Issues" endpoints may return both issues and pull requests in the response. You can identify pull requests by the `pull_request` key. Be aware that the `id` of a pull request returned from "Issues" endpoints will be an issue id.