-
Notifications
You must be signed in to change notification settings - Fork 50
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
Docusaurus switch #694
Docusaurus switch #694
Conversation
Build failed. ✔️ pre-commit SUCCESS in 1m 00s |
Build failed. ✔️ pre-commit SUCCESS in 59s |
This comment was marked as outdated.
This comment was marked as outdated.
This comment was marked as outdated.
This comment was marked as outdated.
This comment was marked as outdated.
This comment was marked as outdated.
This comment was marked as outdated.
This comment was marked as outdated.
Build failed. ✔️ pre-commit SUCCESS in 1m 00s |
This comment was marked as outdated.
This comment was marked as outdated.
This comment was marked as outdated.
This comment was marked as outdated.
This comment was marked as outdated.
This comment was marked as outdated.
This comment was marked as outdated.
This comment was marked as outdated.
Build succeeded. ✔️ pre-commit SUCCESS in 1m 00s |
Build succeeded. ✔️ pre-commit SUCCESS in 58s |
Build succeeded. ✔️ pre-commit SUCCESS in 58s |
Signed-off-by: Matej Focko <mfocko@redhat.com>
Signed-off-by: Matej Focko <mfocko@redhat.com>
Signed-off-by: Matej Focko <mfocko@redhat.com>
Signed-off-by: Matej Focko <mfocko@redhat.com>
Signed-off-by: Matej Focko <mfocko@redhat.com>
Signed-off-by: Matej Focko <mfocko@redhat.com>
Signed-off-by: Matej Focko <mfocko@redhat.com>
Signed-off-by: Matej Focko <mfocko@redhat.com>
Signed-off-by: Matej Focko <mfocko@redhat.com>
Signed-off-by: Matej Focko <mfocko@redhat.com>
Signed-off-by: Matej Focko <mfocko@redhat.com>
Signed-off-by: Matej Focko <mfocko@redhat.com>
Signed-off-by: Matej Focko <mfocko@redhat.com>
Signed-off-by: Matej Focko <mfocko@redhat.com>
Signed-off-by: Matej Focko <mfocko@redhat.com>
Signed-off-by: Matej Focko <mfocko@redhat.com>
Signed-off-by: Matej Focko <mfocko@redhat.com>
Signed-off-by: Matej Focko <mfocko@redhat.com>
Build succeeded. ✔️ pre-commit SUCCESS in 1m 03s |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
this is great, thanks! 🏅 I like the additional features it provides us compared to the previous solution
maybe I would somehow merge Development, Deployment and Research, as these are all kinda development docs to me 🤔 as an outsider seeing e.g. the Research
tab, I would be maybe confused...I am also wondering if these could be then somehow visually separated from the other "public-facing" categories
I'm ok with merging as it is and we can iterate more
fix(docs): adjust for docusaurus Merge with: packit/packit.dev#694 Reviewed-by: Jiri Popelka
Build succeeded (gate pipeline). ✔️ pre-commit SUCCESS in 1m 01s |
Pull request merge failed: Resource not accessible by integration, You may need to manually rebase your PR and retry. |
right, GH workflow is included… |
fix(docs): adjust for docusaurus Merge with: packit/packit.dev#694 Reviewed-by: Jiri Popelka
Fixes #649
TODO: