File tree Expand file tree Collapse file tree 1 file changed +3
-2
lines changed Expand file tree Collapse file tree 1 file changed +3
-2
lines changed Original file line number Diff line number Diff line change 44
55jobs :
66 label-docs :
7- if : contains(github.event.pull_request.title, 'Kilted Sync') || contains(github.event.pull_request.title, 'Jazzy Sync')
87 runs-on : ubuntu-latest
98 steps :
109 - name : Process docs PRs
1110 env :
12- GH_TOKEN : ${{ github.token }}
11+ GH_TOKEN : ${{ secrets.GITHUB_TOKEN }}
1312 run : |
1413 # Determine ROS distro and label from PR title
1514 pr_title="${{ github.event.pull_request.title }}"
2322 label="backport-jazzy"
2423 fi
2524
25+ gh pr edit 762 --repo ros-navigation/docs.nav2.org --add-label documentation
26+
2627 # Get PR numbers from commits
2728 prs=$(gh api repos/ros-navigation/navigation2/pulls/${{ github.event.number }}/commits \
2829 --jq '.[].commit.message' | grep -o '#[0-9]\+' | tr -d '#' | sort -u)
You can’t perform that action at this time.
0 commit comments