Skip to content

Add RPM packaging#2948

Merged
plajjan merged 1 commit into
mainfrom
rpm-packaging
Jun 20, 2026
Merged

Add RPM packaging#2948
plajjan merged 1 commit into
mainfrom
rpm-packaging

Conversation

@plajjan

@plajjan plajjan commented Jun 18, 2026

Copy link
Copy Markdown
Contributor

Teach make rpms to package an existing dist/ tree into an RPM using a small spec template, and add Fedora-based CI jobs that build, install, and compile-test those packages.

Prune upstream dependency test, script, maint, and documentation cruft during dist/deps extraction so RPM dependency scanning only sees runtime files.

Update package metadata and public docs links to use https://acton.now/.

@chatgpt-codex-connector chatgpt-codex-connector Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: 71d969d378

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

Comment thread .github/workflows/trigger-web-update.yml
Teach make rpms to package an existing dist/ tree into an RPM using a
small spec template, and add Fedora-based CI jobs that build, install,
and compile-test those packages.

Prune upstream dependency test, script, maint, and documentation cruft
during dist/deps extraction so RPM dependency scanning only sees runtime
files.

Update package metadata and public docs links to use https://acton.now/.
@plajjan plajjan merged commit 89d226c into main Jun 20, 2026
51 checks passed
@plajjan plajjan deleted the rpm-packaging branch June 20, 2026 06:03
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