Skip to content

Repository updates#74

Merged
mcflugen merged 32 commits intodevelopfrom
mcflugen/repository-updates
Mar 21, 2023
Merged

Repository updates#74
mcflugen merged 32 commits intodevelopfrom
mcflugen/repository-updates

Conversation

@mcflugen
Copy link
Copy Markdown
Collaborator

This pull request tidies up the repository and adds a few new linters to the pre-commit hooks.

@mcflugen mcflugen merged commit b7c3cc7 into develop Mar 21, 2023
@mcflugen mcflugen deleted the mcflugen/repository-updates branch March 21, 2023 03:39
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.

1 participant