Skip to content

chore: drop a stale dev path and tidy the .gitattributes note#92

Merged
Davidobot merged 1 commit into
mainfrom
chore/scrub-internal-signposting
Jul 19, 2026
Merged

chore: drop a stale dev path and tidy the .gitattributes note#92
Davidobot merged 1 commit into
mainfrom
chore/scrub-internal-signposting

Conversation

@Davidobot

@Davidobot Davidobot commented Jul 19, 2026

Copy link
Copy Markdown
Contributor

Summary

Docs/config only; no behavior change. Removes two stale/local references from the public tree.

  • benchmarks/filtered_batch (README + modal_bench.py): replace a developer-specific path and a stale project label with the plain modal run invocation, matching every other benchmark
  • .gitattributes: simplify the note on why Linguist reports no C/C++

Testing

  • no code changed (docs + one config comment only)

Docs/config only; no behavior change.

- benchmarks/filtered_batch: replace a developer-specific path and a stale
  project label with the standard `modal run` invocation
- .gitattributes: simplify the note on why Linguist reports no C/C++
@Davidobot
Davidobot force-pushed the chore/scrub-internal-signposting branch from 682648d to 3440abe Compare July 19, 2026 00:18
@Davidobot Davidobot changed the title chore: remove internal references from the public tree chore: drop a stale dev path and tidy the .gitattributes note Jul 19, 2026
@Davidobot
Davidobot merged commit a679dce into main Jul 19, 2026
7 checks passed
@Davidobot
Davidobot deleted the chore/scrub-internal-signposting branch July 19, 2026 00:34
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