Skip to content

Conversation

@ronald-jaepel
Copy link
Contributor

Once the devguide has a section on all major topics the dev-guide-branch can be removed from the website as all information is contained within the master branch.

@jbreue16
Copy link
Contributor

jbreue16 commented Jul 25, 2024

We could think about a new procedure to update the documentation: Instead of just temporarily having this for the dev guide, we could implement this for a documentation dev branch. This would improve the documentation review process, I recently ended up sending pdfs around to get reviews.

So instead of removing this, we could make it permanent for a dedicated "dev/documentation" branch

Optimally, this should not end up on the actual website but will have its own link

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

Status: Todo

Development

Successfully merging this pull request may close these issues.

3 participants