Skip to content

Conversation

@jorgepiloto
Copy link
Member

This pull-request solves the failing issue originated by isort and pre-commit.

@github-actions github-actions bot added the maintenance Generic maintenance related label Jan 30, 2023
@jorgepiloto jorgepiloto requested a review from a team January 30, 2023 10:13
Copy link
Contributor

@MaxJPRey MaxJPRey left a comment

Choose a reason for hiding this comment

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

LGTM.

@jorgepiloto jorgepiloto merged commit 7b12f17 into main Jan 30, 2023
@jorgepiloto jorgepiloto deleted the maint/isort branch January 30, 2023 16:04
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

maintenance Generic maintenance related

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants