Skip to content

chore(ci): format changelogs before commiting #1814

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Merged
merged 1 commit into from
Oct 29, 2025
Merged

chore(ci): format changelogs before commiting #1814

merged 1 commit into from
Oct 29, 2025

Conversation

@mandarini
Copy link
Contributor

Format changelogs before commiting, or else the pre-push hook will block the push, as happened here.

@mandarini mandarini requested review from a team as code owners October 29, 2025 15:52
@mandarini mandarini self-assigned this Oct 29, 2025
@mandarini mandarini enabled auto-merge (squash) October 29, 2025 15:52
@mandarini mandarini merged commit 4c76af8 into master Oct 29, 2025
3 checks passed
@mandarini mandarini deleted the chore/format-ci-changelogs branch October 29, 2025 17:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@staaldraad staaldraad staaldraad approved these changes

Assignees

@mandarini mandarini

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

3 participants

@mandarini @staaldraad