mirror of
https://github.com/Stirling-Tools/Stirling-PDF.git
synced 2026-09-03 05:10:16 +03:00
Ludy
a63ab2db7b
### Motivation - Automatically detect and mark pull requests that have merge conflicts so maintainers can triage them quickly. - Ensure both new and existing open PRs are covered by running on PR events, a schedule, and manual dispatch. ### Description - Add workflow `: .github/workflows/pr-conflict-labeler.yml` that triggers on `pull_request_target`, a recurring `schedule`, and `workflow_dispatch` for manual runs. - The job uses the repository `stirling-bot` (`.github/actions/setup-bot`) and `actions/github-script` to poll `pull.mergeable` until GitHub computes mergeability and then add or remove the `has conflicts` label when `mergeable === false && mergeable_state === 'dirty'`. - The workflow idempotently ensures the `has conflicts` label exists (creates it if missing) and the repository label config ` .github/labels.yml` is updated to include `has conflicts` with an appropriate color and description. ### Testing - Parsed both ` .github/workflows/pr-conflict-labeler.yml` and ` .github/labels.yml` with Ruby `YAML.load_file`, which succeeded. - Installed and ran `actionlint` via `go install github.com/rhysd/actionlint/cmd/actionlint@latest` and validated the new workflow file with `actionlint`, which succeeded. ------ [Codex Task](https://chatgpt.com/codex/cloud/tasks/task_e_6a58b7061c2c8325b024980a4af8f632)
208 lines
6.5 KiB
YAML
208 lines
6.5 KiB
YAML
# Labels names are important as they are used by Release Drafter to decide
|
|
# regarding where to record them in changelog or if to skip them.
|
|
#
|
|
# The repository labels will be automatically configured using this file and
|
|
# the GitHub Action https://github.com/marketplace/actions/github-labeler.
|
|
- name: "Licenses"
|
|
color: "EDEDED"
|
|
description: "Issues or pull requests related to licenses"
|
|
from_name: "licenses"
|
|
- name: "Back End"
|
|
color: "20CE6C"
|
|
description: "Issues or pull requests related to back-end development"
|
|
from_name: "Back end"
|
|
- name: "Bug"
|
|
description: "Something isn't working"
|
|
color: "EB9CA6"
|
|
from_name: "bug"
|
|
- name: "dependencies"
|
|
description: "Pull requests that update a dependency file"
|
|
color: "5AA8FC"
|
|
- name: "Docker"
|
|
description: "Pull requests that update Docker code"
|
|
color: "1FCEFF"
|
|
from_name: "docker"
|
|
- name: "Documentation"
|
|
description: "Improvements or additions to documentation"
|
|
color: "35ABFF"
|
|
from_name: "documentation"
|
|
- name: "Done for next release"
|
|
color: "0CDBD1"
|
|
description: "Items that are completed and will be included in the next release"
|
|
- name: "Done"
|
|
color: "60F13B"
|
|
- name: "duplicate"
|
|
description: "This issue or pull request already exists"
|
|
color: "CDD1D5"
|
|
- name: "enhancement"
|
|
description: "New feature or request"
|
|
color: "A0EEEE"
|
|
- name: "fix needs confirmation"
|
|
color: "60A1E7"
|
|
description: "Fix needs to be confirmed"
|
|
- name: "Front End"
|
|
color: "BBD2F1"
|
|
description: "Issues or pull requests related to front-end development"
|
|
from_name: "frontend"
|
|
- name: "github-actions"
|
|
description: "Pull requests that update GitHub Actions code"
|
|
color: "999999"
|
|
from_name: "github_actions"
|
|
- name: "good first issue"
|
|
description: "Good for newcomers"
|
|
color: "C1B8FF"
|
|
- name: "help wanted"
|
|
description: "Extra attention is needed"
|
|
color: "00E6C4"
|
|
- name: "invalid"
|
|
description: "This doesn't seem right"
|
|
color: "E5E566"
|
|
- name: "Java"
|
|
description: "Pull requests that update Java code"
|
|
color: "FF9E1F"
|
|
from_name: "java"
|
|
- name: "Long-term Enhancement"
|
|
color: "BFDEC3"
|
|
description: "Enhancements planned for the long term"
|
|
- name: "more-info-needed"
|
|
color: "00E4F8"
|
|
description: "More information is needed"
|
|
- name: "needs investigation"
|
|
color: "B8C3A7"
|
|
description: "Issues that require further investigation"
|
|
- name: "Prioritised enhancement"
|
|
color: "4BA2EE"
|
|
description: "High-priority enhancements"
|
|
- name: "question"
|
|
description: "Further information is requested"
|
|
color: "D97EE5"
|
|
- name: "Translation"
|
|
color: "9FABF9"
|
|
from_name: "translation"
|
|
description: "Issues or pull requests related to translation"
|
|
- name: "upstream"
|
|
color: "DEDEDE"
|
|
- name: "v2"
|
|
color: "FFFF00"
|
|
description: "Issues or pull requests related to the v2 branch"
|
|
- name: "v3"
|
|
color: "FFA500"
|
|
description: "Issues or pull requests related to the v3 branch"
|
|
- name: "wontfix"
|
|
description: "This will not be worked on"
|
|
color: "FFFFFF"
|
|
- name: "Security"
|
|
color: "000000"
|
|
description: "Security-related issues or pull requests"
|
|
- name: "API"
|
|
color: "FFFF00"
|
|
description: "API-related issues or pull requests"
|
|
- name: "Test"
|
|
color: "FF9E1F"
|
|
description: "Testing-related issues or pull requests"
|
|
- name: "Stale"
|
|
color: "000000"
|
|
description: "Issues or pull requests that have become inactive"
|
|
- name: "Priority: Critical"
|
|
color: "000000"
|
|
description: "Issues or pull requests with the highest priority"
|
|
- name: "Priority: High"
|
|
color: "FF0000"
|
|
description: "Issues or pull requests with high priority"
|
|
- name: "Priority: Medium"
|
|
color: "FFFF00"
|
|
description: "Issues or pull requests with medium priority"
|
|
- name: "Priority: Low"
|
|
color: "00FF00"
|
|
description: "Issues or pull requests with low priority"
|
|
- name: "Devtools"
|
|
color: "FF9E1F"
|
|
description: "Development tools"
|
|
- name: "Bugfix"
|
|
color: "FF9E1F"
|
|
description: "Pull requests that fix bugs"
|
|
- name: "Gradle"
|
|
color: "FF9E1F"
|
|
description: "Pull requests that update Gradle code"
|
|
- name: "build"
|
|
color: "1E90FF"
|
|
description: "Changes that affect the build system or external dependencies"
|
|
- name: "chore"
|
|
color: "FFD700"
|
|
description: "Routine tasks or maintenance that don't modify src or test files"
|
|
- name: "ci"
|
|
color: "4682B4"
|
|
description: "Changes to CI configuration files and scripts"
|
|
- name: "perf"
|
|
color: "FF69B4"
|
|
description: "Changes that improve performance"
|
|
- name: "refactor"
|
|
color: "9932CC"
|
|
description: "Code changes that neither fix a bug nor add a feature"
|
|
- name: "revert"
|
|
color: "DC143C"
|
|
description: "Reverts a previous commit"
|
|
- name: "style"
|
|
color: "FFA500"
|
|
description: "Changes that do not affect the meaning of the code (formatting, etc.)"
|
|
- name: "admin"
|
|
color: "195055"
|
|
- name: "GitHub"
|
|
color: "0052CC"
|
|
description: "Issues or pull requests related to GitHub configuration and integrations"
|
|
from_name: "Github"
|
|
- name: "needs-changes"
|
|
color: "A65A86"
|
|
description: "Pull requests that require changes before they can be merged"
|
|
- name: "on-hold"
|
|
color: "2526F9"
|
|
- name: "python"
|
|
color: "2b67c6"
|
|
description: "Pull requests that update Python code"
|
|
- name: "engine"
|
|
color: "2b67c6"
|
|
description: "Issues or pull requests related to the engine"
|
|
- name: "size:L"
|
|
color: "eb9500"
|
|
description: "This PR changes 100-499 lines ignoring generated files."
|
|
- name: "size:M"
|
|
color: "ebb800"
|
|
description: "This PR changes 30-99 lines ignoring generated files."
|
|
- name: "size:S"
|
|
color: "77b800"
|
|
description: "This PR changes 10-29 lines ignoring generated files."
|
|
- name: "size:XL"
|
|
color: "ff823f"
|
|
description: "This PR changes 500-999 lines ignoring generated files."
|
|
- name: "size:XS"
|
|
color: "00ff00"
|
|
description: "This PR changes 0-9 lines ignoring generated files."
|
|
- name: "size:XXL"
|
|
color: "ffb8b8"
|
|
description: "This PR changes 1000+ lines ignoring generated files."
|
|
- name: "to research"
|
|
color: "FBCA04"
|
|
- name: "pr-deployed"
|
|
color: "00FF00"
|
|
description: "Pull request has been deployed to a test environment"
|
|
- name: "codex"
|
|
color: "ededed"
|
|
description: "chatgpt AI generated code"
|
|
- name: "break-change"
|
|
color: "FF0000"
|
|
description: "This PR introduces a breaking API change."
|
|
- name: "Rust"
|
|
color: "DEA584"
|
|
description: "Pull requests that update Rust code"
|
|
from_name: "rust"
|
|
- name: "Tauri"
|
|
color: "24C8FF"
|
|
description: "Pull requests that update Tauri code"
|
|
from_name: "tauri"
|
|
- name: "license-review-required"
|
|
color: "EDEDED"
|
|
description: "This PR requires a license review"
|
|
- name: "has conflicts"
|
|
color: "D93F0B"
|
|
description: "Pull request has merge conflicts with the base branch"
|