Skip to content

chore: retitle translatewiki PRs - #10210

Merged
maribethb merged 1 commit into
RaspberryPiFoundation:mainfrom
maribethb:tr-pr
Jul 30, 2026
Merged

chore: retitle translatewiki PRs#10210
maribethb merged 1 commit into
RaspberryPiFoundation:mainfrom
maribethb:tr-pr

Conversation

@maribethb

Copy link
Copy Markdown
Contributor

The basics

The details

Resolves

Fixes translatewiki PRs requiring hand-editing the PR title

Proposed Changes

adds workflow that retitles translatewiki prs to meet commit-lint and label appropriately

Reason for Changes

i'm lazy

note that the reason the existing commit-lint jobs have to skip translatewiki PRs is that github won't re-run workflows that would be triggered by edits made by the default github access token, like we're doing in the new workflow. this is to avoid infinite loops of workflows rerunning. so in order to prevent a spurious lint failure, we just skip it and do the label ourselves

Test Coverage

Documentation

Additional Information

it has a generic automation title because i also want to add a check that yells if translatewiki tries to edit files outside of msg/

@maribethb
maribethb requested a review from a team as a code owner July 30, 2026 15:16
@maribethb
maribethb requested a review from mikeharv July 30, 2026 15:16
@github-actions github-actions Bot added the PR: chore General chores (dependencies, typos, etc) label Jul 30, 2026
/^(build|chore|ci|docs|feat|fix|refactor|release|revert|test)(\([^)]*\))?!?:/;

// Strip trailing full stops / whitespace, then prepend "chore: "
// unless the title already starts with a conventional type.

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

This is probably fine, but it's also probably checking for more things than we'll ever see with these particular PRs.

Copy link
Copy Markdown
Contributor Author

Choose a reason for hiding this comment

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

don't think it's hurting anything tho, and prevents actual PRs from being rewritten to be chores against their will.

@maribethb
maribethb merged commit b0d5a9c into RaspberryPiFoundation:main Jul 30, 2026
9 checks passed
@maribethb
maribethb deleted the tr-pr branch July 30, 2026 16:28
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

PR: chore General chores (dependencies, typos, etc)

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants