Skip to content

gitignore cleanup#27

Merged
pdurbin merged 2 commits intomainfrom
gitignore-cleanup
Nov 20, 2025
Merged

gitignore cleanup#27
pdurbin merged 2 commits intomainfrom
gitignore-cleanup

Conversation

@pdurbin
Copy link
Copy Markdown
Member

@pdurbin pdurbin commented Nov 20, 2025

These files never should have been tracked in git. Removing. And cleaning up .gitignore.

They were added in these PRs:

@pdurbin pdurbin merged commit 46cb0d5 into main Nov 20, 2025
1 check passed
@pdurbin pdurbin deleted the gitignore-cleanup branch November 20, 2025 16:28
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