Skip to content

Conversation

@Robin-Van-de-Merghel
Copy link
Contributor

Maybe we can add it to the pre-commit as well, tried it but did not succeeded.

@fstagni
Copy link
Contributor

fstagni commented Mar 27, 2025

There are more standard ways of doing this, the github marketplace should provide.

@chrisburr
Copy link
Member

Replaced by #540

@chrisburr chrisburr closed this May 15, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants