chore: Fix labels for docs #315

Merged
jank merged 1 commit from docs/labels into main 2025-06-12 07:30:45 +00:00
Owner
No description provided.
jank added 1 commit 2025-06-12 07:28:09 +00:00
chore: Fix labels for docs
All checks were successful
CI / Get Changed Files (pull_request) Successful in 20s
CI / eslint (pull_request) Has been skipped
Label PRs based on size / Check PR size (pull_request) Successful in 18s
CI / Backend Tests (pull_request) Has been skipped
CI / oxlint (pull_request) Has been skipped
CI / Checkstyle Main (pull_request) Has been skipped
CI / prettier (pull_request) Has been skipped
CI / Docker frontend validation (pull_request) Has been skipped
Build docs / build-docs (pull_request) Successful in 25s
CI / test-build (pull_request) Has been skipped
CI / Docker backend validation (pull_request) Has been skipped
CI / Playwright (pull_request) Has been skipped
Pull Request Labeler / labeler (pull_request_target) Successful in 13s
Claude PR Review / claude-code (pull_request) Successful in 1m10s
9ebf0d0036
forgejo-actions added the
size
small
ci
labels 2025-06-12 07:28:33 +00:00
jank scheduled this pull request to auto merge when all checks succeed 2025-06-12 07:28:54 +00:00
Collaborator

Code Review - APPROVED

File:

Summary: This change correctly updates the docs labeler configuration to match the actual project directory structure.

Positive aspects:

  • The change from to correctly reflects the actual directory structure in the repository
  • Fixes the missing trailing newline in the file (good practice)
  • Simple, focused change that addresses the labeling issue

No issues found: The change is straightforward and correct. The directory exists in the project root and contains the project documentation files, so this labeler configuration will now properly apply the 'docs' label to PRs that modify documentation files.

Recommendation: Approve and merge.

## Code Review - APPROVED ✅ **File:** **Summary:** This change correctly updates the docs labeler configuration to match the actual project directory structure. **Positive aspects:** - ✅ The change from to correctly reflects the actual directory structure in the repository - ✅ Fixes the missing trailing newline in the file (good practice) - ✅ Simple, focused change that addresses the labeling issue **No issues found:** The change is straightforward and correct. The directory exists in the project root and contains the project documentation files, so this labeler configuration will now properly apply the 'docs' label to PRs that modify documentation files. **Recommendation:** Approve and merge.
ptran approved these changes 2025-06-12 07:30:44 +00:00
jank merged commit c87a0593b3 into main 2025-06-12 07:30:45 +00:00
jank deleted branch docs/labels 2025-06-12 07:30:45 +00:00
Commenting is not possible because the repository is archived.
No reviewers
No milestone
No project
No assignees
3 participants
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference: SZUT/casino#315
No description provided.