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.

Sign up for GitHub

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

Jump to bottom

Remove merged pr previews #539

Open
NuttyShrimp opened this issue Oct 5, 2022 · 0 comments
Open

Remove merged pr previews #539

NuttyShrimp opened this issue Oct 5, 2022 · 0 comments
Labels
enhancement first-good-issue Good for newcomers level: easy Small/easy issue fixable in an evening

Comments

@NuttyShrimp
Copy link
Member

If a PR which published a preview version is merged this preview website is not removed from the server.
We should add a CI job that runs after a PR and check if there is a folder with the PR number en removes it if it exists
@NuttyShrimp NuttyShrimp added enhancement level: easy Small/easy issue fixable in an evening first-good-issue Good for newcomers labels Oct 5, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement first-good-issue Good for newcomers level: easy Small/easy issue fixable in an evening
Projects
Open Issues
Status: No status
Milestone
No milestone
Development

No branches or pull requests
1 participant
@NuttyShrimp