Skip to content

Remove locks from APIs #43

Remove locks from APIs

Remove locks from APIs #43

Workflow file for this run

# Create a backport PR to branch "foo" from a merged PR by adding a PR label "backport foo"
name: Backport merged pull request
on:
pull_request_target:
types: [closed]
permissions:
contents: write # so it can comment
pull-requests: write # so it can create pull requests
jobs:
backport:
name: Backport pull request
runs-on: ubuntu-latest
# Don't run on closed unmerged pull requests
if: github.event.pull_request.merged
steps:
- uses: actions/checkout@v4
- name: Create backport pull requests
uses: korthout/backport-action@v3