Skip to content

ci: stop PR title lint from mutating labels#30

Closed
mvillmow wants to merge 2 commits intomainfrom
codex/align-1.0.1-metadata-docs
Closed

ci: stop PR title lint from mutating labels#30
mvillmow wants to merge 2 commits intomainfrom
codex/align-1.0.1-metadata-docs

Conversation

@mvillmow
Copy link
Copy Markdown
Collaborator

@mvillmow mvillmow commented May 4, 2026

Summary

  • Rebased PR ci: stop PR title lint from mutating labels #30 onto current main; the original v1.0.1 alignment patch is obsolete because main now has source metadata at 1.2.0 and release/local-install docs at 1.0.2.
  • Stop the PR-title lint workflow from mutating labels. It now validates the title only.
  • Leave PR/path labeling to the dedicated label-pr.yml workflow, which already owns label application.
  • Run copyright checks directly on the GitHub-hosted runner instead of pulling a fork-local GHCR image.

Related: #28 is superseded by the current upstream version state.

Validation

  • git diff --check

@github-actions github-actions Bot added documentation Improvements or additions to documentation deployment::k8s labels May 4, 2026
@mvillmow mvillmow changed the title chore: align release metadata with v1.0.1 ci: stop PR title lint from mutating labels May 4, 2026
@mvillmow mvillmow added the ci CI/CD workflow changes label May 4, 2026
@mvillmow mvillmow force-pushed the codex/align-1.0.1-metadata-docs branch from 0890331 to 91f1198 Compare May 4, 2026 16:40
@mvillmow mvillmow closed this May 4, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

actions ci CI/CD workflow changes deployment::k8s documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant