Skip to content

Conversation

RobPasMue
Copy link
Member

As title says.

@RobPasMue RobPasMue self-assigned this Oct 1, 2024
@RobPasMue RobPasMue requested a review from a team October 1, 2024 10:45
@github-actions github-actions bot added documentation Improvements or additions to documentation enhancement New features or code improvements labels Oct 1, 2024
Copy link
Contributor

@germa89 germa89 left a comment

Choose a reason for hiding this comment

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

LGTM!

@RobPasMue RobPasMue enabled auto-merge (squash) October 1, 2024 15:11
@RobPasMue RobPasMue merged commit b9d0d17 into main Oct 1, 2024
13 checks passed
@RobPasMue RobPasMue deleted the feat/pre-commit-ci-config branch October 1, 2024 15:14
github-actions bot pushed a commit that referenced this pull request Oct 1, 2024
* feat: adding pre-commit.ci config

* fix: docstyle issues

* Update doc/source/coding-style/formatting-tools.rst

Co-authored-by: German <[email protected]>

* Apply suggestions from code review

Co-authored-by: Revathy Venugopal <[email protected]>

* Update doc/source/coding-style/formatting-tools.rst

Co-authored-by: Revathy Venugopal <[email protected]>

---------

Co-authored-by: German <[email protected]>
Co-authored-by: Revathy Venugopal <[email protected]>
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 enhancement New features or code improvements
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants