Skip to content

Conversation

@dthaler
Copy link
Collaborator

@dthaler dthaler commented Sep 23, 2025

Copy changes from main to v7.1, excluding extracted-files directory
The extracted-files will be handled separately by the generate-files workflow
This PR is auto-generated by [gh pr create].

Copy link
Collaborator

@tychonievich tychonievich left a comment

Choose a reason for hiding this comment

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

Most of these changes are incorrectly reversing additions to v7.1. I'm worried that our merge action has some kind of error, as I don't expect merge to be undoing updates.

@github-actions github-actions bot force-pushed the merge-main-into-v7.1 branch 2 times, most recently from 852cb59 to 0d6790e Compare October 3, 2025 20:49
@github-actions github-actions bot force-pushed the merge-main-into-v7.1 branch from 0d6790e to f87d885 Compare November 23, 2025 00:30
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

automated pr Automated PR

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants