Skip to content

Conversation

Bibo-Joshi
Copy link
Member

@Bibo-Joshi Bibo-Joshi commented Jul 7, 2022

To be merged on the next release

commit message should mention

@Bibo-Joshi Bibo-Joshi added the ⚙️ documentation affected functionality: documentation label Jul 7, 2022
@Bibo-Joshi Bibo-Joshi changed the title Update Copyright (#3140) v13 doc fixes Jul 7, 2022
@Bibo-Joshi Bibo-Joshi added this to the v13.14 milestone Jul 7, 2022
Co-authored-by: Harshil <37377066+harshil21@users.noreply.github.com>
Co-authored-by: Bibo-Joshi <22366557+Bibo-Joshi@users.noreply.github.com>
Co-authored-by: Harshil <37377066+harshil21@users.noreply.github.com>
Copy link

@github-actions github-actions bot left a comment

Choose a reason for hiding this comment

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

Hey! Looks like you edited the (dev) requirements or the pre-commit hooks. I'm just a friendly reminder to keep the pre-commit hook versions in sync with the dev requirements and the additional dependencies for the hooks in sync with the requirements :)

@Bibo-Joshi Bibo-Joshi merged commit d0c1a95 into v13.x Sep 4, 2022
@Bibo-Joshi Bibo-Joshi deleted the doc-fixes-v13 branch September 4, 2022 07:14
@github-actions github-actions bot locked and limited conversation to collaborators Sep 11, 2022
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.

2 participants