Skip to content

Conversation

@Bibo-Joshi
Copy link
Member

Include PRs in Commit Message:

@Bibo-Joshi Bibo-Joshi added the ⚙️ documentation affected functionality: documentation label Nov 24, 2024
@Bibo-Joshi Bibo-Joshi merged commit ffe23be into master Dec 1, 2024
24 checks passed
@Bibo-Joshi Bibo-Joshi deleted the doc-fixes branch December 1, 2024 10:47
@github-actions github-actions bot locked and limited conversation to collaborators Dec 9, 2024
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

⚙️ documentation affected functionality: documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants