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`; }