Function removePrLabel

scripts/utils/github.ts:257–266

(prNumber: number, label: string)

 * Remove a label from a PR (or issue)
 */
export async function removePrLabel(prNumber: number, label: string) {
  await request(
    "DELETE /repos/{owner}/{repo}/issues/{issue_number}/labels/{name}",
    {
      ...requestOptions(),
      issue_number: prNumber,
      name: label,
    },
  );
}