Repo sync

src/github-apps/lib/config.json

@@ -60,5 +60,5 @@
       "2022-11-28"
     ]
   },
-  "sha": "87477e51bc28423c080137f93c1d646251157b74"
+  "sha": "7ef76f8a5d8a0645e8b78a367648350624c0ef5f"
 }

src/rest/data/fpt-2022-11-28/schema.json

@@ -218197,7 +218197,7 @@
           }
         ],
         "previews": [],
-        "descriptionHTML": "<p>Removes a collaborator from a repository.</p>\n<p>To use this endpoint, the authenticated user must either be an administrator of the repository or target themselves for removal.</p>\n<p>This endpoint also:</p>\n<ul>\n<li>Cancels any outstanding invitations</li>\n<li>Unasigns the user from any issues</li>\n<li>Removes access to organization projects if the user is not an organization member and is not a collaborator on any other organization repositories.</li>\n<li>Unstars the repository</li>\n<li>Updates access permissions to packages</li>\n</ul>\n<p>Removing a user as a collaborator has the following effects on forks:</p>\n<ul>\n<li>If the user had access to a fork through their membership to this repository, the user will also be removed from the fork.</li>\n<li>If the user had their own fork of the repository, the fork will be deleted.</li>\n<li>If the user still has read access to the repository, open pull requests by this user from a fork will be denied.</li>\n</ul>\n<div class=\"ghd-alert ghd-alert-accent\"><p class=\"ghd-alert-title\"><svg version=\"1.1\" width=\"16\" height=\"16\" viewBox=\"0 0 16 16\" class=\"octicon mr-2\" aria-hidden><path d=\"M0 8a8 8 0 1 1 16 0A8 8 0 0 1 0 8Zm8-6.5a6.5 6.5 0 1 0 0 13 6.5 6.5 0 0 0 0-13ZM6.5 7.75A.75.75 0 0 1 7.25 7h1a.75.75 0 0 1 .75.75v2.75h.25a.75.75 0 0 1 0 1.5h-2a.75.75 0 0 1 0-1.5h.25v-2h-.25a.75.75 0 0 1-.75-.75ZM8 6a1 1 0 1 1 0-2 1 1 0 0 1 0 2Z\"></path></svg>Note</p>\n<p>\nA user can still have access to the repository through organization permissions like base repository permissions.</p>\n</div>\n<p>Although the API responds immediately, the additional permission updates might take some extra time to complete in the background.</p>\n<p>For more information on fork permissions, see \"<a href=\"https://docs.github.com/pull-requests/collaborating-with-pull-requests/working-with-forks/about-permissions-and-visibility-of-forks\">About permissions and visibility of forks</a>\".</p>",
+        "descriptionHTML": "<p>Removes a collaborator from a repository.</p>\n<p>To use this endpoint, the authenticated user must either be an administrator of the repository or target themselves for removal.</p>\n<p>This endpoint also:</p>\n<ul>\n<li>Cancels any outstanding invitations sent by the collaborator</li>\n<li>Unassigns the user from any issues</li>\n<li>Removes access to organization projects if the user is not an organization member and is not a collaborator on any other organization repositories.</li>\n<li>Unstars the repository</li>\n<li>Updates access permissions to packages</li>\n</ul>\n<p>Removing a user as a collaborator has the following effects on forks:</p>\n<ul>\n<li>If the user had access to a fork through their membership to this repository, the user will also be removed from the fork.</li>\n<li>If the user had their own fork of the repository, the fork will be deleted.</li>\n<li>If the user still has read access to the repository, open pull requests by this user from a fork will be denied.</li>\n</ul>\n<div class=\"ghd-alert ghd-alert-accent\"><p class=\"ghd-alert-title\"><svg version=\"1.1\" width=\"16\" height=\"16\" viewBox=\"0 0 16 16\" class=\"octicon mr-2\" aria-hidden><path d=\"M0 8a8 8 0 1 1 16 0A8 8 0 0 1 0 8Zm8-6.5a6.5 6.5 0 1 0 0 13 6.5 6.5 0 0 0 0-13ZM6.5 7.75A.75.75 0 0 1 7.25 7h1a.75.75 0 0 1 .75.75v2.75h.25a.75.75 0 0 1 0 1.5h-2a.75.75 0 0 1 0-1.5h.25v-2h-.25a.75.75 0 0 1-.75-.75ZM8 6a1 1 0 1 1 0-2 1 1 0 0 1 0 2Z\"></path></svg>Note</p>\n<p>\nA user can still have access to the repository through organization permissions like base repository permissions.</p>\n</div>\n<p>Although the API responds immediately, the additional permission updates might take some extra time to complete in the background.</p>\n<p>For more information on fork permissions, see \"<a href=\"https://docs.github.com/pull-requests/collaborating-with-pull-requests/working-with-forks/about-permissions-and-visibility-of-forks\">About permissions and visibility of forks</a>\".</p>",
         "statusCodes": [
           {
             "httpStatusCode": "204",

src/rest/data/ghec-2022-11-28/schema.json

@@ -229496,7 +229496,7 @@
           }
         ],
         "previews": [],
-        "descriptionHTML": "<p>Removes a collaborator from a repository.</p>\n<p>To use this endpoint, the authenticated user must either be an administrator of the repository or target themselves for removal.</p>\n<p>This endpoint also:</p>\n<ul>\n<li>Cancels any outstanding invitations</li>\n<li>Unasigns the user from any issues</li>\n<li>Removes access to organization projects if the user is not an organization member and is not a collaborator on any other organization repositories.</li>\n<li>Unstars the repository</li>\n<li>Updates access permissions to packages</li>\n</ul>\n<p>Removing a user as a collaborator has the following effects on forks:</p>\n<ul>\n<li>If the user had access to a fork through their membership to this repository, the user will also be removed from the fork.</li>\n<li>If the user had their own fork of the repository, the fork will be deleted.</li>\n<li>If the user still has read access to the repository, open pull requests by this user from a fork will be denied.</li>\n</ul>\n<div class=\"ghd-alert ghd-alert-accent\"><p class=\"ghd-alert-title\"><svg version=\"1.1\" width=\"16\" height=\"16\" viewBox=\"0 0 16 16\" class=\"octicon mr-2\" aria-hidden><path d=\"M0 8a8 8 0 1 1 16 0A8 8 0 0 1 0 8Zm8-6.5a6.5 6.5 0 1 0 0 13 6.5 6.5 0 0 0 0-13ZM6.5 7.75A.75.75 0 0 1 7.25 7h1a.75.75 0 0 1 .75.75v2.75h.25a.75.75 0 0 1 0 1.5h-2a.75.75 0 0 1 0-1.5h.25v-2h-.25a.75.75 0 0 1-.75-.75ZM8 6a1 1 0 1 1 0-2 1 1 0 0 1 0 2Z\"></path></svg>Note</p>\n<p>\nA user can still have access to the repository through organization permissions like base repository permissions.</p>\n</div>\n<p>Although the API responds immediately, the additional permission updates might take some extra time to complete in the background.</p>\n<p>For more information on fork permissions, see \"<a href=\"https://docs.github.com/enterprise-cloud@latest//pull-requests/collaborating-with-pull-requests/working-with-forks/about-permissions-and-visibility-of-forks\">About permissions and visibility of forks</a>\".</p>",
+        "descriptionHTML": "<p>Removes a collaborator from a repository.</p>\n<p>To use this endpoint, the authenticated user must either be an administrator of the repository or target themselves for removal.</p>\n<p>This endpoint also:</p>\n<ul>\n<li>Cancels any outstanding invitations sent by the collaborator</li>\n<li>Unassigns the user from any issues</li>\n<li>Removes access to organization projects if the user is not an organization member and is not a collaborator on any other organization repositories.</li>\n<li>Unstars the repository</li>\n<li>Updates access permissions to packages</li>\n</ul>\n<p>Removing a user as a collaborator has the following effects on forks:</p>\n<ul>\n<li>If the user had access to a fork through their membership to this repository, the user will also be removed from the fork.</li>\n<li>If the user had their own fork of the repository, the fork will be deleted.</li>\n<li>If the user still has read access to the repository, open pull requests by this user from a fork will be denied.</li>\n</ul>\n<div class=\"ghd-alert ghd-alert-accent\"><p class=\"ghd-alert-title\"><svg version=\"1.1\" width=\"16\" height=\"16\" viewBox=\"0 0 16 16\" class=\"octicon mr-2\" aria-hidden><path d=\"M0 8a8 8 0 1 1 16 0A8 8 0 0 1 0 8Zm8-6.5a6.5 6.5 0 1 0 0 13 6.5 6.5 0 0 0 0-13ZM6.5 7.75A.75.75 0 0 1 7.25 7h1a.75.75 0 0 1 .75.75v2.75h.25a.75.75 0 0 1 0 1.5h-2a.75.75 0 0 1 0-1.5h.25v-2h-.25a.75.75 0 0 1-.75-.75ZM8 6a1 1 0 1 1 0-2 1 1 0 0 1 0 2Z\"></path></svg>Note</p>\n<p>\nA user can still have access to the repository through organization permissions like base repository permissions.</p>\n</div>\n<p>Although the API responds immediately, the additional permission updates might take some extra time to complete in the background.</p>\n<p>For more information on fork permissions, see \"<a href=\"https://docs.github.com/enterprise-cloud@latest//pull-requests/collaborating-with-pull-requests/working-with-forks/about-permissions-and-visibility-of-forks\">About permissions and visibility of forks</a>\".</p>",
         "statusCodes": [
           {
             "httpStatusCode": "204",

src/rest/data/ghes-3.12-2022-11-28/schema.json

@@ -160760,7 +160760,7 @@
           }
         ],
         "previews": [],
-        "descriptionHTML": "<p>Removes a collaborator from a repository.</p>\n<p>To use this endpoint, the authenticated user must either be an administrator of the repository or target themselves for removal.</p>\n<p>This endpoint also:</p>\n<ul>\n<li>Cancels any outstanding invitations</li>\n<li>Unasigns the user from any issues</li>\n<li>Removes access to organization projects if the user is not an organization member and is not a collaborator on any other organization repositories.</li>\n<li>Unstars the repository</li>\n<li>Updates access permissions to packages</li>\n</ul>\n<p>Removing a user as a collaborator has the following effects on forks:</p>\n<ul>\n<li>If the user had access to a fork through their membership to this repository, the user will also be removed from the fork.</li>\n<li>If the user had their own fork of the repository, the fork will be deleted.</li>\n<li>If the user still has read access to the repository, open pull requests by this user from a fork will be denied.</li>\n</ul>\n<div class=\"ghd-alert ghd-alert-accent\"><p class=\"ghd-alert-title\"><svg version=\"1.1\" width=\"16\" height=\"16\" viewBox=\"0 0 16 16\" class=\"octicon mr-2\" aria-hidden><path d=\"M0 8a8 8 0 1 1 16 0A8 8 0 0 1 0 8Zm8-6.5a6.5 6.5 0 1 0 0 13 6.5 6.5 0 0 0 0-13ZM6.5 7.75A.75.75 0 0 1 7.25 7h1a.75.75 0 0 1 .75.75v2.75h.25a.75.75 0 0 1 0 1.5h-2a.75.75 0 0 1 0-1.5h.25v-2h-.25a.75.75 0 0 1-.75-.75ZM8 6a1 1 0 1 1 0-2 1 1 0 0 1 0 2Z\"></path></svg>Note</p>\n<p>\nA user can still have access to the repository through organization permissions like base repository permissions.</p>\n</div>\n<p>Although the API responds immediately, the additional permission updates might take some extra time to complete in the background.</p>\n<p>For more information on fork permissions, see \"<a href=\"https://docs.github.com/[email protected]/pull-requests/collaborating-with-pull-requests/working-with-forks/about-permissions-and-visibility-of-forks\">About permissions and visibility of forks</a>\".</p>",
+        "descriptionHTML": "<p>Removes a collaborator from a repository.</p>\n<p>To use this endpoint, the authenticated user must either be an administrator of the repository or target themselves for removal.</p>\n<p>This endpoint also:</p>\n<ul>\n<li>Cancels any outstanding invitations sent by the collaborator</li>\n<li>Unassigns the user from any issues</li>\n<li>Removes access to organization projects if the user is not an organization member and is not a collaborator on any other organization repositories.</li>\n<li>Unstars the repository</li>\n<li>Updates access permissions to packages</li>\n</ul>\n<p>Removing a user as a collaborator has the following effects on forks:</p>\n<ul>\n<li>If the user had access to a fork through their membership to this repository, the user will also be removed from the fork.</li>\n<li>If the user had their own fork of the repository, the fork will be deleted.</li>\n<li>If the user still has read access to the repository, open pull requests by this user from a fork will be denied.</li>\n</ul>\n<div class=\"ghd-alert ghd-alert-accent\"><p class=\"ghd-alert-title\"><svg version=\"1.1\" width=\"16\" height=\"16\" viewBox=\"0 0 16 16\" class=\"octicon mr-2\" aria-hidden><path d=\"M0 8a8 8 0 1 1 16 0A8 8 0 0 1 0 8Zm8-6.5a6.5 6.5 0 1 0 0 13 6.5 6.5 0 0 0 0-13ZM6.5 7.75A.75.75 0 0 1 7.25 7h1a.75.75 0 0 1 .75.75v2.75h.25a.75.75 0 0 1 0 1.5h-2a.75.75 0 0 1 0-1.5h.25v-2h-.25a.75.75 0 0 1-.75-.75ZM8 6a1 1 0 1 1 0-2 1 1 0 0 1 0 2Z\"></path></svg>Note</p>\n<p>\nA user can still have access to the repository through organization permissions like base repository permissions.</p>\n</div>\n<p>Although the API responds immediately, the additional permission updates might take some extra time to complete in the background.</p>\n<p>For more information on fork permissions, see \"<a href=\"https://docs.github.com/[email protected]/pull-requests/collaborating-with-pull-requests/working-with-forks/about-permissions-and-visibility-of-forks\">About permissions and visibility of forks</a>\".</p>",
         "statusCodes": [
           {
             "httpStatusCode": "204",