Skip to content

chore: Auto merge cherry picked commits to dev #16747

chore: Auto merge cherry picked commits to dev

chore: Auto merge cherry picked commits to dev #16747

Workflow file for this run

name: Label PR
on:
pull_request:
types: [opened, synchronize]
jobs:
label:
name: Label PR based on title
runs-on: ubuntu-latest
steps:
- uses: srvaroa/[email protected]
env:
GITHUB_TOKEN: ${{secrets.OTTO_THE_BOT_GH_TOKEN}}