Skip to content

repo: leave the benchmark pages out of GitHub's language stats - #7

Merged
awss1i merged 1 commit into
mainfrom
language-stats
Oct 18, 2026
Merged

awss1i merged 1 commit into
mainfrom
language-stats

Conversation

@awss1i

@awss1i awss1i commented Oct 18, 2026 •

Copy link
Copy Markdown
Owner

What This Changes

GitHub lists this repository as HTML because Linguist counts the 245 benchmark pages in bench/programs and bench/planted. Those pages add up to about 925 KB, against about 424 KB of Python.

This adds a .gitattributes that marks bench/**/*.html as linguist-vendored, so Linguist leaves those pages out of the language stats. The pages stay in the repository unchanged, and the Python scripts in bench/ still count as Python.

Kind

  • Bug fix
  • False-alarm fix
  • Benchmark improvement
  • Feature
  • Plugin or harness support
  • Docs
  • Misc

Tests

git check-attr linguist-vendored over every tracked file marks exactly the 245 HTML files under bench/ and nothing else. The Python files in bench/ show as unspecified.

Benchmarks

Not needed. The change doesn't touch a rule or any file in bench/.

AI use

  • AI-written or AI-assisted, and I've read every line.

@awss1i
awss1i merged commit f9a998c into main Oct 18, 2026
8 checks passed
@awss1i awss1i added the misc Changes outside assay itself, like CI or .gitattributes label Oct 18, 2026
@awss1i
awss1i deleted the language-stats branch October 18, 2026 23:56
Repository owner deleted a comment from github-actions Bot Oct 19, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

misc Changes outside assay itself, like CI or .gitattributes

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant