Merge remote-tracking branch 'origin/master' into chore/eslint9

Author: csouchet

.github/workflows/fill-gh-draft-release.yml

@@ -14,6 +14,6 @@ jobs:
       contents: write
     steps:
       # Drafts your next Release notes as Pull Requests are merged into "master"
-      - uses: release-drafter/release-drafter@v6.0.0
+      - uses: release-drafter/release-drafter@v6.1.0
         env:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}

docs/contributors/images/release_process_part-02_github.png

@@ -70,8 +70,6 @@ ___
 - Ensure the name of the milestone used for the new release version matches the name of the tag/version that has just been pushed. Renamed it if needed.
 - Clean this opened milestone if some issues are still opened (move them to a new one or discard milestone from them)
 - Close the milestone
-- Clean the [Day to Day Board](https://github.com/process-analytics/bpmn-visualization-js/projects/1): archive all cards
-  of the `Done` column related to the milestone
 
 
 ### Continue filling the GitHub Release

docs/contributors/maintainers.md

@@ -146,7 +146,7 @@
     "jest-image-snapshot": "~6.4.0",
     "jest-playwright-preset": "~4.0.0",
     "jest-sonar": "~0.2.16",
-    "lint-staged": "~15.4.1",
+    "lint-staged": "~15.4.3",
     "minimist": "~1.2.8",
     "npm-run-all": "~4.1.5",
     "pinst": "~3.0.0",