Skip to content
This repository was archived by the owner on Mar 21, 2024. It is now read-only.

Conversation

fepegar
Copy link
Contributor

@fepegar fepegar commented Jun 6, 2022

Fix some issues raised by pre-commit before I finish working on #701.

@fepegar fepegar requested review from ant0nsc and peterhessey June 6, 2022 16:15
@fepegar fepegar enabled auto-merge (squash) June 6, 2022 16:15
@fepegar fepegar merged commit edc72ed into main Jun 7, 2022
@fepegar fepegar deleted the fix-pre-commit-errors branch June 7, 2022 08:14
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants