Existence of two GitHub pages - deploy API docs

[bobleesj]

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?

[sbillinge]

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.

[bobleesj]

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)

I can't find an option for re-directiong domain via github pages below..

@sbillinge I think we have a separate repo for regolith-docs - https://github.com/regro/regolith-docs I think the GitHub pages should be unpublished there if we decided to delete that domain.

@tinatn29 could you pls update the URL?

[sbillinge]

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.

[bobleesj]

@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?

[sbillinge]

I am ok deprecating the old url.