Skip to content
This repository has been archived by the owner on Jul 3, 2024. It is now read-only.

Conversation

github-actions[bot]
Copy link

Solves #191

@0xmemorygrinder 0xmemorygrinder force-pushed the feature/180-auto-generated-user-docs-staging branch from 2583dbf to 5979b99 Compare November 1, 2023 20:33
@0xmemorygrinder 0xmemorygrinder force-pushed the feature/180-auto-generated-user-docs/191-osmium-documentation-website-staging branch from 3fd6220 to 0e9bac6 Compare November 1, 2023 20:34
@0xmemorygrinder 0xmemorygrinder force-pushed the feature/180-auto-generated-user-docs-staging branch from 5979b99 to 7d9d61e Compare November 6, 2023 18:33
@0xmemorygrinder 0xmemorygrinder force-pushed the feature/180-auto-generated-user-docs/191-osmium-documentation-website-staging branch from e25db2e to e2a6559 Compare November 6, 2023 18:33
@Leon-azerty Leon-azerty marked this pull request as ready for review November 19, 2023 15:49
@ByFishh ByFishh force-pushed the feature/180-auto-generated-user-docs/191-osmium-documentation-website-staging branch from fb14880 to 25bfb56 Compare November 19, 2023 21:44
doc/docTree.json Outdated Show resolved Hide resolved
doc/retype.yml Outdated Show resolved Hide resolved
doc/retype.yml Outdated
title: Project Name
label: Docs
links:
- text: Getting Started
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Is it the actual title ?
The link should be modified to point to docs.osmium-toolchains.xyz

Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

We do no have "Getting Started" section at the moment so I deleted it

@ByFishh ByFishh merged commit 8c0d19f into feature/180-auto-generated-user-docs-staging Nov 19, 2023
2 checks passed
@ByFishh ByFishh deleted the feature/180-auto-generated-user-docs/191-osmium-documentation-website-staging branch November 19, 2023 22:53
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
Status: No status
Development

Successfully merging this pull request may close these issues.

3 participants