Merge branch 'devel' into pre-commit-ci-update-config

Author: mergify[bot]

.mergify.yml

@@ -0,0 +1,15 @@
+pull_request_rules:
+  - name: merge automatically when CI passes and PR is approved
+    conditions:
+      - check-success = "CI (humble)"
+      - check-success = "CI (iron)"
+      - check-success = "CI (jazzy)"
+      - check-success = "CI (rolling)"
+      - check-success = "nix (macos)"
+      - check-success = "nix (ubuntu)"
+      - check-success = "pre-commit.ci - pr"
+      - or:
+        - author = pre-commit-ci[bot]
+        - author = dependabot[bot]
+    actions:
+      merge: