clover's git

the-knife

1	/** Preserve the shared header's position, then each tab's own reading position. */
2	export function pullRequestTabOffset(
3	current: number,
4	saved: number | undefined,
5	headerEnd: number,
6	) {
7	return current < headerEnd ? current : Math.max(headerEnd, saved ?? headerEnd);
8	}