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

Adding pages extracted from the wiki pages #1850

Merged
merged 8 commits into from
Nov 30, 2024
Merged

Adding pages extracted from the wiki pages #1850

merged 8 commits into from
Nov 30, 2024

Conversation

konradweiss
Copy link
Collaborator

After this merge we can remove the wiki pages or hold only a link to our github pages there.

I removed all wiki pages that were already contained in some form in the github pages.

@KuechA
Copy link
Contributor

KuechA commented Nov 18, 2024

I think you have to add the new files to the structure of the github-page.

I'd also suggest to think about which information is already available and which one is new. There seems to be at least some overlap with the existing documentation

@konradweiss
Copy link
Collaborator Author

I think you have to add the new files to the structure of the github-page.

I'd also suggest to think about which information is already available and which one is new. There seems to be at least some overlap with the existing documentation

I already did remove obsolete pages, and added only two new pages or subpages as mentioned in the description, Maybe there is still some information that could be condensed or is slightly contained in other pages, but for now I would keep these two.

docs/docs/GettingStarted/query_examples.md Show resolved Hide resolved
docs/docs/DesignPrinciples/index.md Outdated Show resolved Hide resolved
@oxisto oxisto enabled auto-merge (squash) November 19, 2024 16:55
@oxisto oxisto disabled auto-merge November 20, 2024 13:49
@oxisto oxisto enabled auto-merge (squash) November 20, 2024 13:49
@oxisto oxisto merged commit 2847342 into main Nov 30, 2024
2 checks passed
@oxisto oxisto deleted the kw/wikiToSpec branch November 30, 2024 22:20
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants