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

Change existing HTMLs to redirect to github pages #308

Merged
merged 3 commits into from
Jan 22, 2025

Conversation

Naghasan
Copy link
Member

The patch rewrite all extension to redirect to the github pages location. The README now ask to no longer publish the HTML along side the document.

The patch rewrite all extension to redirect to the github pages location.
The README now ask to no longer publish the HTML along side the document.
@Naghasan
Copy link
Member Author

Copy link
Collaborator

@bashbaug bashbaug left a comment

Choose a reason for hiding this comment

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

LGTM. I didn't check every file, but I did spot check several, and everything looked in order.

I also checked the "back" button after a redirect, and at least with my browser it went back to the proper page and didn't redirect again.

A few things to confirm:

@Naghasan
Copy link
Member Author

I updated the branch and regenerated the redirect files, that includes the extensions added last week.

@bashbaug
Copy link
Collaborator

Merging as discussed in the January 22nd teleconference.

@bashbaug bashbaug merged commit de56847 into KhronosGroup:main Jan 22, 2025
2 checks passed
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