Skip to content

ci: Remove no longer needed file owner change - #15786

Merged
skjnldsv merged 1 commit into
masterfrom
remove-no-longer-needed-file-owner-change
Oct 16, 2026
Merged

skjnldsv merged 1 commit into
masterfrom
remove-no-longer-needed-file-owner-change

Conversation

@danxuliu

Copy link
Copy Markdown
Member

Follow up to #15783

In the past the POT files were generated inside a container, so their file owner had to be adjusted to match the user in the runner. Now the POT files are directly generated in the runner, so the owner change is no longer needed.

In the past the POT files were generated inside a container, so their
file owner had to be adjusted to match the user in the runner. Now the
POT files are directly generated in the runner, so the owner change is
no longer needed.

Signed-off-by: Daniel Calviño Sánchez <danxuliu@gmail.com>
@danxuliu
danxuliu requested a review from skjnldsv October 16, 2026 07:36
@danxuliu danxuliu added 3. to review github_actions Pull requests that update GitHub Actions code labels Oct 16, 2026
@github-actions

Copy link
Copy Markdown
Contributor

📖 Documentation Preview

🔍 Open preview →

No RST documentation pages changed in this PR.

Last updated: Fri, 16 Oct 2026 07:46:36 GMT

@skjnldsv
skjnldsv merged commit cce9509 into master Oct 16, 2026
26 checks passed
@skjnldsv
skjnldsv deleted the remove-no-longer-needed-file-owner-change branch October 16, 2026 09:12
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

3. to review github_actions Pull requests that update GitHub Actions code

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants