Merge pull request #46 from pobermei/po/fix-heading-levels

Fix title heading levels in `DEPLOYMENT.md` and `DEVELOPMENT.md`
potassco · Mar 14, 2024 · 61c18a4 · 61c18a4
2 parents bcb7db4 + d75b348
commit 61c18a4
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/DEPLOYMENT.md b/DEPLOYMENT.md
@@ -1,4 +1,4 @@
-## Deployment
+# Deployment
 
 Releases are deployed on [pypi] whenever a tag of form `vMajor.Minor.Revision`
 is pushed. Furthemore, the deployment workflow can be triggered manually to

diff --git a/DEVELOPMENT.md b/DEVELOPMENT.md
@@ -1,4 +1,4 @@
-## Development
+# Development
 
 To improve code quality, we use [nox] to run linters, type checkers, unit
 tests, documentation and more. We recommend installing nox using [pipx] to have