Skip to content

[DOCS] Document how the page tree can be changed #5061

[DOCS] Document how the page tree can be changed

[DOCS] Document how the page tree can be changed #5061

Workflow file for this run

name: Backport
on:
pull_request_target:
types:
- closed
- labeled
jobs:
backport:
runs-on: ubuntu-22.04
name: Backport
steps:
- name: Backport
uses: m-kuhn/backport@v1.2.6
with:
github_token: ${{ secrets.GITHUB_TOKEN }}