From d75b3484875baf2a107d47469152f82b5e59d4ad Mon Sep 17 00:00:00 2001
From: Philipp Obermeier <pobermei@gmail.com>
Date: Wed, 13 Mar 2024 13:09:13 +0100
Subject: [PATCH] Fix title heading levels in `DEPLOYMENT.md` and
 `DEVELOPMENT.md`

---
 DEPLOYMENT.md  | 2 +-
 DEVELOPMENT.md | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/DEPLOYMENT.md b/DEPLOYMENT.md
index 18b291c..fac1b8c 100644
--- 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
index ccbcfed..25fd335 100644
--- 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