Skip to content

Fix Windows compatibility: rename files with reserved chars, split large files, add pre-commit hook and CI validation #4239

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

Merged
andimarek merged 7 commits into from
Feb 14, 2026
Merged

Fix Windows compatibility: rename files with reserved chars, split large files, add pre-commit hook and CI validation #4239

Changes from 1 commit
Commits
Show all changes
7 commits
Select commit Hold shift + click to select a range
d62a992
Initial plan
Copilot Feb 3, 2026
052d59d
Rename Windows-incompatible files, split large file, and add pre-comm…
Copilot Feb 3, 2026
21c0f35
Improve pre-commit hook: remove set -e, add error handling, use awk i…
Copilot Feb 3, 2026
10098c1
Add GitHub Action to validate Windows compatibility and file sizes
Copilot Feb 3, 2026
bf0e7af
Merge remote-tracking branch 'origin/master' into copilot/rename-wind…
andimarek Feb 11, 2026
1123cca
Fix schema split to respect type boundaries, remove LFS references
andimarek Feb 11, 2026
12cc43a
Document reason for 10 MB file size limit
andimarek Feb 11, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Next Next commit
Initial plan
  • Loading branch information
Copilot committed Feb 3, 2026
commit d62a992f7ba09c5cf80302a477d556895f2e200e

No changes to show.

This commit has no content.