Skip to content

Conversation

@lucacome
Copy link
Contributor

Proposed changes

Docs changes for v1.0.0

@lucacome lucacome self-assigned this Sep 20, 2023
@github-actions github-actions bot added the documentation Pull requests/issues for documentation label Sep 20, 2023
@lucacome lucacome closed this Nov 6, 2023
@lucacome lucacome deleted the docs/release-1.0.0 branch November 6, 2023 22:29
@lucacome lucacome restored the docs/release-1.0.0 branch November 15, 2023 01:52
@lucacome lucacome reopened this Nov 15, 2023
@lucacome lucacome marked this pull request as ready for review December 5, 2023 02:56
@lucacome lucacome requested a review from a team as a code owner December 5, 2023 02:56
@lucacome lucacome force-pushed the docs/release-1.0.0 branch 2 times, most recently from 14f3a77 to c13a1d0 Compare December 6, 2023 18:29
@lucacome lucacome merged commit 4318c4c into main Dec 6, 2023
@lucacome lucacome deleted the docs/release-1.0.0 branch December 6, 2023 19:11
lucacome added a commit that referenced this pull request Dec 6, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Pull requests/issues for documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants