Skip to content

chore: remove stray working files from the repo root - #137

Merged
jghoman merged 2 commits into
mainfrom
jakob/rm-stray-files
Sep 4, 2026
Merged

chore: remove stray working files from the repo root#137
jghoman merged 2 commits into
mainfrom
jakob/rm-stray-files

Conversation

@jghoman

@jghoman jghoman commented Sep 4, 2026

Copy link
Copy Markdown
Collaborator

Removes working files that were swept into the tree by broad git adds:

Plain git rm, no history rewrite. No code changes.

Session transcript, scratch SQL, sampled topic dump, and two planning
docs that were swept in by broad git-adds (#59, #131, #135). Working
docs live local-only; removing from the tree, no history rewrite.
@jghoman
jghoman merged commit 083c899 into main Sep 4, 2026
17 checks passed
@jghoman
jghoman deleted the jakob/rm-stray-files branch September 4, 2026 18:48
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