[Backport release-25.05] workflows/labels: manage stale & merge conflict labels#419565

Closed

nixpkgs-ci[bot] wants to merge 8 commits intorelease-25.05from

backport-419481-to-release-25.05

Commits on Jun 24, 2025

workflows/labels: refactor into handle() function

wolfgangwalther
authored and
github-actions[bot]
committed
workflows/labels: refactor moving cutoff downwards

wolfgangwalther
authored and
github-actions[bot]
committed
workflows/labels: save an API request when running in pull_request context

wolfgangwalther
authored and
github-actions[bot]
committed
workflows/labels: refactor to search instead of listing PRs

wolfgangwalther
authored and
github-actions[bot]
committed
workflows/labels: run on every PR eventually

wolfgangwalther
authored and
github-actions[bot]
committed
workflows/labels: handle missing eval results gracefully

wolfgangwalther
authored and
github-actions[bot]
committed
workflows/labels: manage stale label for pull requests

wolfgangwalther
authored and
github-actions[bot]
committed
workflows/labels: manage merge-conflict label for pull requests

wolfgangwalther
authored and
github-actions[bot]
committed