Skip to content

Conversation

@FedericoNegri
Copy link
Contributor

@FedericoNegri FedericoNegri commented Feb 6, 2024

@github-actions github-actions bot added the documentation Improvements or additions to documentation label Feb 6, 2024
@FedericoNegri FedericoNegri marked this pull request as ready for review February 6, 2024 23:04
@FedericoNegri FedericoNegri requested a review from PipKat February 6, 2024 23:04
Copy link
Member

@PipKat PipKat left a comment

Choose a reason for hiding this comment

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

Just some minor comments!

@FedericoNegri FedericoNegri merged commit 4c6e409 into main Feb 7, 2024
@FedericoNegri FedericoNegri deleted the fnegri/rep_removal branch February 7, 2024 16:38
@FedericoNegri FedericoNegri linked an issue Feb 21, 2024 that may be closed by this pull request
6 tasks
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.

Follow ups to first doc edit for public release

3 participants