Skip to content

Merge branch 'develop' into ui-header-issue16 #8

Merge branch 'develop' into ui-header-issue16

Merge branch 'develop' into ui-header-issue16 #8

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' }}