Skip to content

Conversation

@lucascolley
Copy link
Collaborator

@andyfaff please could you review :) ?

@lucascolley lucascolley added the documentation Improvements or additions to documentation label Sep 16, 2025
@lucascolley
Copy link
Collaborator Author

gentle ping @andyfaff

Copy link
Contributor

@Hofer-Julian Hofer-Julian left a comment

Choose a reason for hiding this comment

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

Thanks!

@Hofer-Julian Hofer-Julian merged commit f1a37de into prefix-dev:main Sep 26, 2025
77 checks passed
@lucascolley lucascolley deleted the workspace-intro branch September 26, 2025 07:55
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants