hyp purge reaches an aliased spelling it can prove, and reports one it cannot #14

	# Generated by `neutral init`. Blocks a PR (and reddens the default branch) when two
	# LLP docs share a number — concurrent branches can each mint the same NNNN cleanly
	# and only collide in the merged tree. Fix: renumber the doc that landed second to
	# the next free number across ALL branches, and retarget the @refs that meant it
	# (they still resolve — to the wrong doc — so no ref checker will flag them).
	name: llp-check
	on:
	push:
	branches: [main, master]
	pull_request:
	jobs:
	duplicate-numbers:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	- name: No duplicate LLP numbers
	run: \|
	dups=$(find llp -path llp/reviews -prune -o -type f -name '[0-9][0-9][0-9][0-9]-.md' -print \| sed 's\|./\|\|' \| cut -c1-4 \| sort \| uniq -d)
	[ -z "$dups" ] && exit 0
	echo "Duplicate LLP numbers: $dups" >&2
	for n in $dups; do find llp -path llp/reviews -prune -o -name "$n-*.md" -print >&2; done
	echo "Fix: renumber the doc that landed second to the next free number across all branches (tombstones count — numbers are never reused), and update the @refs that meant it." >&2
	exit 1

Navigation Menu