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

Replace GitHub Pages documentation site with index.html that redirects to ReadTheDocs #363

Merged
merged 1 commit into from
Nov 23, 2023

Conversation

mfisher87
Copy link
Collaborator

@mfisher87 mfisher87 commented Nov 22, 2023

Important

Note that this PR targets the new-gh-pages branch. This is an orphan branch created with git checkout --orphan new-gh-pages. Then, an empty commit was created with git commit --allow-empty. Then, my feature branch was taken from this new HEAD. This simulates the nature of the gh-pages branch in a way that is reviewable. Once this PR is approved and merged, I'll replace the gh-pages branch with the contents of the new-gh-pages branch and squash to one commit. From then on, changes to gh-pages can be done with PRs.

This PR enables redirect to ReadTheDocs and decommissioning of the docs GitHub Action (see #277, #362).

Should there be a README on this branch? The index.html file is pretty self-explanatory.

@mfisher87 mfisher87 changed the title Add index with redirect Replace GitHub Pages documentation site with index.html that redirects to ReadTheDocs Nov 22, 2023
@mfisher87 mfisher87 merged commit b0ad7ec into nsidc:new-gh-pages Nov 23, 2023
@mfisher87 mfisher87 deleted the index-with-redirect branch November 23, 2023 02:47
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