Skip to content
This repository has been archived by the owner on May 14, 2024. It is now read-only.

Further prune .gitignore #1635

Merged
merged 1 commit into from
Feb 20, 2024
Merged

Further prune .gitignore #1635

merged 1 commit into from
Feb 20, 2024

Conversation

mnvr
Copy link
Member

@mnvr mnvr commented Feb 20, 2024

Prune down the gitignore list to the remove gitignored files that were needed at some point, but are not needed now.

@ua741 @httpjamesm this might require you to run git clean -dxf on your local checkout once, since you might have leftover files from earlier (they'll not get recreated after this point)

@mnvr mnvr merged commit 3279d5e into main Feb 20, 2024
3 of 4 checks passed
@mnvr mnvr deleted the prune-gitignore branch February 20, 2024 03:57
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

1 participant