repo: cleanup .gitattributes/.gitignore; remove generated artifacts; keep... (!6) · Merge requests · SageTea / sagetea-tools

SageTea requested to merge integrate/2025-10-11-0338 into main Oct 11, 2025

repo: cleanup .gitattributes/.gitignore; remove generated artifacts; keep developer script on merges

repo: cleanup .gitattributes/.gitignore; remove generated artifacts; keep...