Skip to content

chore: use pull request based approach for changelog updates#12497

Merged
DeepDiver1975 merged 1 commit intomasterfrom
chore/changelog-pr-workflow
Apr 10, 2026
Merged

chore: use pull request based approach for changelog updates#12497
DeepDiver1975 merged 1 commit intomasterfrom
chore/changelog-pr-workflow

Conversation

@DeepDiver1975
Copy link
Copy Markdown
Member

Replace the direct push to master with a pull request based approach.

Changes

  • Drop DEPLOYMENT_SSH_KEY and direct git push in favour of peter-evans/create-pull-request
  • Use a GitHub App token (TRANSLATION_APP_ID / TRANSLATION_APP_PRIVATE_KEY) so the created pull request triggers CI
  • Fixed branch name chore/changelog-update with delete-branch: true — existing pull requests are reused across runs; a fresh one opens after merge
  • Pin actions/checkout to SHA
  • Add permissions: {} at workflow and job level (restrict GITHUB_TOKEN to no permissions)
  • persist-credentials: false on checkout as required by peter-evans/create-pull-request

🤖 Generated with Claude Code

@update-docs
Copy link
Copy Markdown

update-docs Bot commented Apr 10, 2026

Thanks for opening this pull request! The maintainers of this repository would appreciate it if you would create a changelog item based on your changes.

@DeepDiver1975 DeepDiver1975 force-pushed the chore/changelog-pr-workflow branch from 1e4e04e to 53b6bec Compare April 10, 2026 14:46
@DeepDiver1975 DeepDiver1975 merged commit 9d71280 into master Apr 10, 2026
8 checks passed
@DeepDiver1975 DeepDiver1975 deleted the chore/changelog-pr-workflow branch April 10, 2026 15:12
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.

2 participants