Skip to content

Include setup and run BAT files in Git builds - #3

Merged
pgotta merged 8 commits into
mainfrom
fix/include-windows-launchers
Jul 19, 2026
Merged

pgotta merged 8 commits into
mainfrom
fix/include-windows-launchers

Conversation

@pgotta

@pgotta pgotta commented Jul 19, 2026

Copy link
Copy Markdown
Owner
  • adds tracked setup_all.bat and run.bat launchers to the repository root
  • includes both launchers automatically in Git clones, GitHub source archives, and packaged ZIPs
  • keeps unrelated personal .bat helpers ignored
  • forces CRLF line endings for Windows batch files
  • updates BUILD documentation
  • adds CI checks that fail if either launcher is missing or stale

@pgotta
pgotta merged commit 0c11dbe into main Jul 19, 2026
1 check passed
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.

1 participant