Skip to content

Merge more unrelated files from develop #11

Merge more unrelated files from develop

Merge more unrelated files from develop #11

Workflow file for this run

---
name: sync-labels
on:
push:
paths:
- .github/labels.yml
- .github/workflows/sync-labels.yml
permissions:
contents: read
jobs:
labeler:
permissions:
# actions/checkout needs this to fetch code
contents: read
# crazy-max/ghaction-github-labeler needs this to manage repository labels
issues: write
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- name: Sync repository labels
if: success()
uses: crazy-max/ghaction-github-labeler@v5
with:
# This is a hideous ternary equivalent so we only do a dry run unless
# this workflow is triggered by the develop branch.
dry-run: ${{ github.ref_name == 'develop' && 'false' || 'true' }}