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

Update the new documentation home #10

Closed
syphax-bouazzouni opened this issue Dec 8, 2022 · 2 comments
Closed

Update the new documentation home #10

syphax-bouazzouni opened this issue Dec 8, 2022 · 2 comments
Assignees
Labels
documentation Improvements or additions to documentation

Comments

@syphax-bouazzouni
Copy link
Collaborator

syphax-bouazzouni commented Dec 8, 2022

Context

After merging #4 pull request, now we have a new home page see https://ontoportal.github.io/administration/

I will let the management and documentation teams decide what would be it role and its content, but at least i think we need to set the new (future) documentation structure and redirect for the administration for now.

How to

See #11 (comment)

@jonquet
Copy link
Collaborator

jonquet commented Jan 24, 2023

@graybeal Have tou status on the renaming of the repository from "administration" to "documentation"
I can do it if you're ok.. but it will break a couple of links... although GitHub handles the redirects, its worth knowing.

@graybeal
Copy link
Collaborator

A few links are already broken (haven't had a moment to report that), so I'd say let's move forward and then see what we have to clean up. If you're able to make that happen I'd totally vote in favor.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
documentation Improvements or additions to documentation
Projects
None yet
Development

No branches or pull requests

5 participants