chore: documentation workflow updates (#2956)

* chore(ci): use new label name when adding issue to docs board

* chore(ci): remove type:documentation auto labeller

* chore: update PR checklist

.github/labeler.yml

@@ -26,10 +26,6 @@
   - changed-files:
     - any-glob-to-any-file: '.github/**/*'
 
-'type: documentation':
-  - changed-files:
-    - any-glob-to-any-file: 'packages/documentation/**/*.md*'
-
 'type: source':
   - changed-files:
     - any-glob-to-any-file: ['packages/backend/src/**/*', 'packages/frontend/src/**/*', 'packages/auth/src/**/*']

.github/pull_request_template.md

@@ -26,6 +26,7 @@ Checklist items become clickable check boxes once the pull request is created. T
 
 - [ ] Related issues linked using `fixes #number`
 - [ ] Tests added/updated
-- [ ] Documentation added
 - [ ] Make sure that all checks pass
-- [ ] Bruno collection updated
+- [ ] Bruno collection updated (if necessary)
+- [ ] Documentation issue created with `user-docs` label (if necessary)
+- [ ] OpenAPI specs updated (if necessary)

.github/workflows/add_to_docs_board.yml

@@ -6,7 +6,7 @@ on:
 
 jobs:
   add-to-project:
-    if: github.event.label.name == 'docs'
+    if: github.event.label.name == 'user-docs'
     name: Add issue to project
     runs-on: ubuntu-22.04
     steps: