Allowing commits from Dependabot prefixed by: 'Docs:'

Author: Lucas-C

.github/scripts/check_pr_title.py

@@ -11,6 +11,7 @@
     "PI: ",
     "ROB: ",
     "DOC: ",
+    "Docs: ",  # MRs from Dependabot
     "TST: ",
     "DEV: ",
     "STY: ",

docs/dev/intro.md

@@ -56,7 +56,7 @@ The `PREFIX` can be:
 * `PI`: A performance improvement. This could also be a reduction in the
         file size of PDF files generated by pdfly.
 * `ROB`: A robustness change. Dealing better with broken PDF files.
-* `DOC`: A documentation change.
+* `DOC`: A documentation change. `Docs:` is also allowed for commits made by DependaBot.
 * `TST`: Adding or adjusting tests.
 * `DEV`: Developer experience improvements, e.g. pre-commit or setting up CI.
 * `MAINT`: Quite a lot of different stuff. Performance improvements are for sure

make_release.py

@@ -218,7 +218,7 @@ def get_formatted_changes(git_tag: str) -> Tuple[str, str]:
         "PI",
         "BUG",
         "ROB",
-        "DOC",
+        "DOC",  # We ignore MRs from Dependabot prefixed with: "Docs:"
         "DEV",
         "CI",
         "MAINT",