Stale folders accumulating in /www/mie-docs/public/

[pierzchala-m]

Description:

Robert identified over 100 folders in the /www/mie-docs/public/ directory. These appear to be artifacts created by the PR workflow and not associated with currently open pull requests.

Based on the workflow definition, the folder created after this step in the PR pipeline is likely never cleaned up once the PR is closed or merged:

docs/.github/workflows/pull_request.yml

Line 47 in c4b9fe0

run: rsync -ruva --delete public/ "/www/mie-docs/public/${{ steps.extract_branch.outputs.branch }}/"

As a result, directories accumulate over time and require manual cleanup.

Impact:

• Disk clutter in /www/mie-docs/public/
• Risk of confusion about which folders are still in use

Expected Behavior:

Folders created for PR builds should be automatically removed when the corresponding PR is closed or merged.

Proposed Actions:

Add a cleanup step triggered on PR close/merge (or a scheduled cleanup job).

Ensure only folders associated with active PRs remain.