gitfor/platform

const HIDDEN_PREFIXES = ["refs/pull/", "refs/gitfor/"];

/** Refs gitfor writes for its own bookkeeping (fork PR objects). Users can never update them and they never fire push events. */
export function isHiddenRef(ref: string): boolean {
  return HIDDEN_PREFIXES.some((prefix) => ref.startsWith(prefix));
}

export function pullHeadRef(number: number): string {
  return `refs/pull/${number}/head`;
}

/** Keyed by base repo id too: a repo can be the head of pull requests into several bases with the same number. */
export function pullBaseRef(baseRepoId: string, number: number): string {
  return `refs/gitfor/pull/${baseRepoId}/${number}/base`;
}