Function headerPathToken

packages/shared/pr-github.ts:78–81

(side: "a" | "b", p: string)

  return /["\\\u0000-\u001F]/.test(p);
}
function headerPathToken(side: "a" | "b", p: string): string {
  const full = `${side}/${p}`;
  return needsGitQuoting(p) ? JSON.stringify(full) : full;
}
function metadataPathToken(p: string): string {
  return needsGitQuoting(p) ? JSON.stringify(p) : p;
}