mirror of
https://github.com/renovatebot/renovate.git
synced 2026-11-01 10:09:50 +00:00
Jamie Tanna
eba4b3eed4
As a way to get better visibility for - predominantly - transient issues GitHub are having, via [0] we can auto-label PRs, so they can then be picked up by a maintainer. We can use the `-slim` runners, as this doesn't need much compute, and it reduces ours and GitHub's costs. [0]: https://www.jvt.me/posts/2026/08/11/github-merge-queue-prs/ Co-authored-by: Sonnet 5 <claude-code@jamietanna.co.uk>
30 lines
655 B
YAML
30 lines
655 B
YAML
name: 'Label PRs dequeued from the merge queue'
|
|
|
|
on:
|
|
schedule:
|
|
# Run every 15 minutes
|
|
- cron: '*/15 * * * *'
|
|
# Or when manually requested
|
|
workflow_dispatch: {}
|
|
|
|
permissions: {}
|
|
|
|
jobs:
|
|
label-dequeued-prs:
|
|
runs-on: ubuntu-slim
|
|
if: github.repository == 'renovatebot/renovate'
|
|
|
|
permissions:
|
|
pull-requests: write
|
|
|
|
env:
|
|
GH_TOKEN: ${{ github.token }}
|
|
|
|
steps:
|
|
- uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1
|
|
with:
|
|
persist-credentials: false
|
|
|
|
- name: Find and label PRs dequeued from the merge queue
|
|
run: bash ./tools/find-dequeued-merge-queue-prs.sh
|