Skip to content

Replace Citus curl-pipe-bash with signed apt source - #300

Merged
KeiaiLab-PHIL merged 1 commit into
mainfrom
fix/citus-apt-repo
Oct 6, 2026
Merged

KeiaiLab-PHIL merged 1 commit into
mainfrom
fix/citus-apt-repo

Conversation

@KeiaiLab-PHIL

Copy link
Copy Markdown
Contributor

Scorecard PinnedDependencies flagged downloadThenRun in the pg
16/17/18 images: deb.sh was fetched and executed unverified.

Write the apt source and dearmored repo key directly, as deb.sh
does, so no remote script runs. Package set is unchanged; verified
by building pg/16 (citus 13.0) and pg/18 (CITUS_VERSION=14.2).

Note: pg/18 default CITUS_VERSION=13.2 has no PG18 package in the Citus repo (pre-existing; 14.x exists). Not changed here.

🤖 Generated with Claude Code

Scorecard PinnedDependencies flagged downloadThenRun in the pg
16/17/18 images: deb.sh was fetched and executed unverified.

Write the apt source and dearmored repo key directly, as deb.sh
does, so no remote script runs. Package set is unchanged; verified
by building pg/16 (citus 13.0) and pg/18 (CITUS_VERSION=14.2).

Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
Signed-off-by: phil <phil@keiailab.com>
@KeiaiLab-PHIL
KeiaiLab-PHIL enabled auto-merge (squash) October 6, 2026 01:22
@KeiaiLab-PHIL
KeiaiLab-PHIL merged commit 4e2ff7b into main Oct 6, 2026
4 checks passed
@KeiaiLab-PHIL
KeiaiLab-PHIL deleted the fix/citus-apt-repo branch October 6, 2026 01:25
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant