Skip to content

Retry: remove long deprecated directories#810

Merged
ipelupessy merged 2 commits intomainfrom
revert-809-revert-795-purge_old_dirs
Jul 7, 2022
Merged

Retry: remove long deprecated directories#810
ipelupessy merged 2 commits intomainfrom
revert-809-revert-795-purge_old_dirs

Conversation

@rieder
Copy link
Copy Markdown
Member

@rieder rieder commented Dec 7, 2021

Another attempt at #795, keeping in mind that more needs to be done (see #808)

@stale
Copy link
Copy Markdown

stale bot commented Mar 4, 2022

This issue has been automatically marked as stale because it has not had recent activity. It will be closed in 14 days if no further activity occurs. Thank you for your contributions.

@stale stale bot added the status: wontfix label Mar 4, 2022
@stale
Copy link
Copy Markdown

stale bot commented May 3, 2022

This issue has been automatically marked as stale because it has not had recent activity. It will be closed in 28 days if no further activity occurs. Thank you for your contributions.

@stale stale bot added the status: stale Issues that have been around for a while without updates label May 3, 2022
@stale stale bot closed this May 31, 2022
@ipelupessy ipelupessy reopened this Jun 28, 2022
@stale stale bot removed the status: stale Issues that have been around for a while without updates label Jun 28, 2022
@ipelupessy
Copy link
Copy Markdown
Member

@rieder should work now

@rieder
Copy link
Copy Markdown
Member Author

rieder commented Jun 29, 2022

Looks good, I'll run some tests.

@ipelupessy
Copy link
Copy Markdown
Member

@rieder you encounter any errors?

@ipelupessy
Copy link
Copy Markdown
Member

tested ok

@ipelupessy ipelupessy merged commit 355b6ed into main Jul 7, 2022
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