Skip to content

Development docs#2029

Merged
KoalaSat merged 2 commits intomainfrom
development-docs
Jul 18, 2025
Merged

Development docs#2029
KoalaSat merged 2 commits intomainfrom
development-docs

Conversation

@KoalaSat
Copy link
Member

@KoalaSat KoalaSat commented Jun 27, 2025

What does this PR do?

Development docs

Checklist before merging

  • Install pre-commit and initialize it: pip install pre-commit, then pre-commit install. Pre-commit installs git hooks that automatically check the codebase. If pre-commit fails when you commit your changes, please fix the problems it points out.

@KoalaSat KoalaSat merged commit 0069910 into main Jul 18, 2025
@KoalaSat KoalaSat deleted the development-docs branch July 18, 2025 18:45
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