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

Update documentation #3

Merged
merged 3 commits into from
Nov 17, 2023
Merged

Update documentation #3

merged 3 commits into from
Nov 17, 2023

Conversation

abangratz
Copy link
Contributor

Before releasing anything, the documentation should be somewhat complete.

@abangratz abangratz self-assigned this Oct 23, 2023
@abangratz abangratz marked this pull request as draft October 23, 2023 15:17
@abangratz abangratz force-pushed the add-documentation branch 2 times, most recently from a92a89e to 9a2f778 Compare October 24, 2023 09:48
@abangratz abangratz marked this pull request as ready for review November 15, 2023 08:54
@abangratz abangratz requested a review from a team November 15, 2023 08:54
@abangratz
Copy link
Contributor Author

abangratz commented Nov 15, 2023

There are still improvements possible, but as a first effort we should merge it before it becomes stale.

@alessiaplatogo alessiaplatogo force-pushed the add-documentation branch 2 times, most recently from 9ea3435 to c218859 Compare November 17, 2023 11:08
@alessiaplatogo alessiaplatogo merged commit d994d00 into main Nov 17, 2023
@zube zube bot added [zube]: Closed and removed [zube]: New labels Nov 17, 2023
@alessiaplatogo alessiaplatogo deleted the add-documentation branch November 17, 2023 14:28
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Development

Successfully merging this pull request may close these issues.

4 participants