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(ci): remove GH pages action #2501

Merged
merged 2 commits into from
Jun 19, 2023
Merged

chore(ci): remove GH pages action #2501

merged 2 commits into from
Jun 19, 2023

Conversation

sthulb
Copy link
Contributor

@sthulb sthulb commented Jun 19, 2023

Issue number: #2502

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 for users, the new docs site is already the primary location.

Checklist

If your change doesn't seem to apply, please leave them unchecked.

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.

@github-actions github-actions bot added the bug Something isn't working label Jun 19, 2023
@github-actions
Copy link
Contributor

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 need-issue PRs that are missing related issues labels Jun 19, 2023
@leandrodamascena leandrodamascena removed do-not-merge need-issue PRs that are missing related issues labels Jun 19, 2023
@leandrodamascena leandrodamascena changed the title fix: remove GH pages chore(ci): remove GH pages action Jun 19, 2023
@github-actions github-actions bot added the internal Maintenance changes label Jun 19, 2023
@leandrodamascena leandrodamascena removed the bug Something isn't working label Jun 19, 2023
@leandrodamascena leandrodamascena linked an issue Jun 19, 2023 that may be closed by this pull request
2 tasks
Copy link
Contributor

@leandrodamascena leandrodamascena left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Approved!

@leandrodamascena leandrodamascena merged commit 9e347bf into develop Jun 19, 2023
@leandrodamascena leandrodamascena deleted the remove-gh-pages branch June 19, 2023 19:32
@github-actions github-actions bot added the bug Something isn't working label Jun 19, 2023
rafaelgsr pushed a commit to rafaelgsr/aws-lambda-powertools-python that referenced this pull request Jun 30, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working internal Maintenance changes
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Maintenance: remove GH pages
2 participants