-
Notifications
You must be signed in to change notification settings - Fork 71
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
Existence of two GitHub pages - deploy API docs #1218
Comments
https://regro.github.io/regolith-docs/ was from our old builds. https://regro.github.io/regolith/ is from our new builds. If we can figure it out, it would be good to just use the new builds but make a line from the old name to the new name (in case anyone is still statically linking to the old name.) Do we know how to do that/ If not, I don't actually think too many people are using this and we can just try and figure out how to delete the old page. |
I can't find an option for re-directiong domain via github pages below.. @sbillinge I think we have a separate repo for @tinatn29 could you pls update the URL? |
Sounds good. I don't really know how to resolve this. In a way I would like to keep things standard as I know what to type to find the docs if it conforms to our group standard (the new one), so I would rather keep that URL if we can only have one. |
@sbillinge for confirmation, You'd rather have 'regolith-doc' in the URL? If that's the case, then we may have to sync the current regolith and regolith-doc repos synced side by side? |
I am ok deprecating the old url. |
Problem
@sbillinge
We have both https://regro.github.io/regolith-docs/ and https://regro.github.io/regolith/ deployed.
It appears they are similar. If so, should we keep one and update URLs in readme and everywhere?
The text was updated successfully, but these errors were encountered: