Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Remove unused archives/ directory #728

Merged
merged 1 commit into from
May 9, 2024
Merged

Remove unused archives/ directory #728

merged 1 commit into from
May 9, 2024

Conversation

dcroote
Copy link
Collaborator

@dcroote dcroote commented May 9, 2024

The archives/ directory sometimes interferes with find & replace for me, and as far as I'm aware we've never used anything from archives/, so I think it's safe to delete. Even if deleted and the files were somehow necessary, they could be recovered by checking out the current commit on main i.e. before deletion, e9a7b9e.

@dcroote dcroote requested review from wkande and vanshwassan May 9, 2024 06:22
@dcroote dcroote self-assigned this May 9, 2024
Copy link
Contributor

github-actions bot commented May 9, 2024

Visit the preview URL for this PR (updated for commit 64df589):

https://vitepress-docs--pr728-delete-archives-7514k9u6.web.app

(expires Thu, 16 May 2024 06:23:40 GMT)

🔥 via Firebase Hosting GitHub Action 🌎

Sign: e4c5db1acb62b36273dc03718b86834917dea599

@wkande
Copy link
Member

wkande commented May 9, 2024

Yes time for it to go.

@dcroote dcroote merged commit 8099729 into main May 9, 2024
2 checks passed
@dcroote dcroote deleted the delete-archives branch May 9, 2024 14:20
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.

2 participants