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

chore: remove GH pages #303

Merged
merged 1 commit into from
Jun 21, 2023
Merged

chore: remove GH pages #303

merged 1 commit into from
Jun 21, 2023

Conversation

sthulb
Copy link
Contributor

@sthulb sthulb commented Jun 19, 2023

Please provide the issue number

Issue number: #304

Summary

Changes

Please provide a summary of what's being changed

Remove GH pages from GH actions. We no longer use GH pages, as we have migrated to our new docs hosting already.

User experience

Please share what the user experience looks like before and after this change

There should be no change, since we push users to the new docs site already.

Checklist

Please leave checklist items unchecked if they do not apply to your change.

Is this a breaking change?

RFC issue number:

Checklist:

  • Migration process documented
  • Implement warnings (if it can live side by side)

Acknowledgment

By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.

Disclaimer: We value your time and bandwidth. As such, any pull requests created on non-triaged issues might not be successful.

@sthulb sthulb requested a review from a team as a code owner June 19, 2023 19:13
@github-actions github-actions bot added the internal Maintenance changes label Jun 19, 2023
@github-actions
Copy link

No related issues found. Please ensure there is an open issue related to this change to avoid significant delays or closure.

@github-actions github-actions bot added do-not-merge PRs that are blocked for varying reasons need-issue PR is missing a related issue for tracking change labels Jun 19, 2023
@hjgraca hjgraca linked an issue Jun 20, 2023 that may be closed by this pull request
1 task
@hjgraca hjgraca removed need-issue PR is missing a related issue for tracking change do-not-merge PRs that are blocked for varying reasons labels Jun 21, 2023
@hjgraca hjgraca merged commit 4ba5210 into develop Jun 21, 2023
@hjgraca hjgraca deleted the remove-gh-pages branch June 21, 2023 10:51
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
internal Maintenance changes
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Maintenance: remove GH pages for docs
2 participants