Fix cat_tools dependency: install from pinned git SHA, not PGXN - #10

Open

jnasbyupgrade wants to merge 8 commits into

Postgres-Extensions:masterfrom

jnasbyupgrade:fix-cat-tools-install

Commits on Jul 30, 2026

Fix cat_tools dependency: install from pinned git SHA, not PGXN

jnasbyupgrade
and
claude
committed
3aa609a
debug: temporarily dump regression.diffs in CI (to be reverted)
jnasbyupgrade
committed
fb4931d
Revert "debug: temporarily dump regression.diffs in CI (to be reverted)"
jnasbyupgrade
committed
e100d0d
Clarify: git-pin is a supported fallback, not just a temporary hack

jnasbyupgrade
and
claude
committed
c815650
Track cat_tools master instead of a pinned commit SHA

jnasbyupgrade
and
claude
committed
baf0a6e

Commits on Jul 31, 2026

Document release-vs-pin invariant, add bin/in_release check

jnasbyupgrade
and
claude
committed
55aed30

Commits on Aug 5, 2026