Skip to content
This repository was archived by the owner on Jul 16, 2025. It is now read-only.

Conversation

@chr-hertel
Copy link
Member

No description provided.

@chr-hertel chr-hertel requested a review from OskarStark October 7, 2024 23:13
@chr-hertel chr-hertel marked this pull request as ready for review October 7, 2024 23:13
@chr-hertel
Copy link
Member Author

@OskarStark i know that's just a lot of text, but if you have time to review that'll be awesome - otherwise we can also just merge since it's better than what we have right now

Copy link
Contributor

@OskarStark OskarStark left a comment

Choose a reason for hiding this comment

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

First round of review

chr-hertel and others added 4 commits October 8, 2024 07:40
Co-authored-by: Oskar Stark <oskarstark@googlemail.com>
Co-authored-by: Silas Joisten <silasjoisten@proton.me>
Co-authored-by: Silas Joisten <silasjoisten@proton.me>
Co-authored-by: Silas Joisten <silasjoisten@proton.me>
@OskarStark OskarStark added the documentation Improvements or additions to documentation label Oct 8, 2024
@chr-hertel chr-hertel merged commit 3c0cc87 into main Oct 12, 2024
7 checks passed
@chr-hertel chr-hertel deleted the docs-rework branch October 12, 2024 10:28
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants